Lambdaカクテル

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

2012-10-23から1日間の記事一覧

ベースの弦を巻く方向について

ベースの弦は上から下に巻く。2つ先のペグ程度の長さを持たせて、90˚*曲げてから*切断する。

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

(λx.xx)(λx.xx)はβ簡約できないので無限ループする。らしい。 詳しいことはよくわからんのだが、とにかく無限ループする。Scheme的な記述をすると( (lambda (x) (x x))(lambda (x) (x x)) )である。おそらく実用に供する機会は無いものと思われる。