# let twice f x = f (f x)これは f という関数と値 x をもらって、f を二回 x に適用する関数です。 さて、では、 # twice twice twice twice add1 0 は何が帰って来ると思いますか？ http://d.hatena.ne.jp/camlspotter/20100710/1278752186 ・twiceはチャ…

Lisp で匿名関数を lambda と書くのは以下のような由来らしい。 Russel と Whitehead の Principia Mathematica では束縛変数の上にキャレットを置く書き方をしていた Church がその記法を ^x(x+x) と変えた キャレットの下に何も無いのが変だと思ったので形…