Lambdaカクテル

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

Invite link for Scalaわいわいランド

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

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

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

★記事をRTしてもらえると喜びます
Webアプリケーション開発関連の記事を投稿しています.読者になってみませんか?