There is a usage of thunk in the context of implementing a compilation strategy for call-by-name arguments. The usage survives into modern times, whereby lambd

There is a usage of thunk in the context of implementing a compilation strategy for call-by-name arguments. The usage survives into modern times, whereby lambda arguments are sometimes called thunks.