Lambdaカクテル

京都在住Webエンジニアの日記です

無限ループするラムダ関数

(λx.xx)(λx.xx)はβ簡約できないので無限ループする。らしい。
詳しいことはよくわからんのだが、とにかく無限ループする。

Scheme的な記述をすると( (lambda (x) (x x))(lambda (x) (x x)) )である。おそらく実用に供する機会は無いものと思われる。