The term thunk was coined by him for this routine and the term has stuck.

• 他把这种程序命名为形实替换程序，现在这个术语已被大家所接受。