IT戦記

プログラミング、起業などについて書いているプログラマーのブログです😚

2008-02-01から1日間の記事一覧

α変換 β変換

いやー。名前だけ聞いたらものすごい難しそうで避けて通ってたけど勉強してみたら以外に当たり前のことだった。 Wikipedia でお勉強 α変換 束縛変数(引数になっている変数)の名前を別の名前に変えること function(x){ return (function(x){ return x })(x)…

Haskell のリストが分からない。遅延評価も分からない。

Haskell のリストはシンタックスシュガーだらけ a = [] b = [1] c = [1,2] d = [1..10] e = [1..] f = [1,3..] g = [ x * x | x <- f ] 逆に分かりにくいので書き直す a = [] b = (:) 1 [] c = (:) 1 ((:) 2 []) d = ff 10 where ff 0 = [] ff i = (:) 1 (ma…