Re: Что ж, давайте смеяться
Оно не из рукава вытащено - штука довольно естественная и лезущая очень много откуда (Черч ее afaik из Principia Mathematica вытащил). Собственно одна из технических проблем в языках программирования - чтобы оно откуда-нибудь случайно не вылезло, со всякими неразрешимостями.

Конструкцию Скотта (он, кстати. с одним т или двумя?) я помню, но не могу сказать, что она меня очень впечатлила. Скорее объяснение простого через сложное, к тому же на типизированную лямбду оно не распространяется :)