Так-то в логике используется термин, и в теории языков встречается. Но конечно к отложенным вычислениям (чем по сути thunk-и и являются) прямого отношения не имеет.
Скажем так, нужно это в хаскеле очень редко. Редко бывает правильная ленивость в строгих языках. Обычно, это тупо call-by-name. Ну вот, помнится, друган в лиспе такое делал. Тормозило страшно ;-)
Основная идея состоит в том, что при вызове процедуры интерпретатор должен определить, какие аргументы требуется вычислить, а какие задержать. Задержанные аргументы не вычисляются, а преобразуются в объекты, называемыесанками (thunks).
Название «санк» было придумано в неформальной группе, которая обсуждала реализацию вызова по имени в Алголе 60. Было замечено, что большую часть анализа («обдумывания», thinking about) выражения можно производить во время компиляции; таким образом, во время выполнения выражение будет уже большей частью «обдумано» (thunk about — намеренно неверно образованная английская форма) (Ingerman et al. 1960).
В русскоязычной литературе слово thunk иногда переводится как «переходник». Нам кажется, что в данном случае такой перевод мешал бы пониманию текста. — прим. перев.
я же говорил что по-русски книжки не очень читаю (нет их у меня на русском, покупаю в оригинале). так что я про то что в сети встречается. разве что могу сослаться на всеми любимый ненадёжный источник на который нельзя ссылаться: https://ru.wikipedia.org/wiki/Списковое_включение