高階が苦手な大人のSKコンビネータ かんすう漬け
ここのところやる気が無いので、何かを作ったりは進まず、ひたすら寝てばかりだった。
眠くない時は、積んでいた本を読んだ。
「ものまね鳥をまねる」を読了。
この後、ラムダ計算入門を再読。ものまね鳥のおかげで、以前読んだ時にはあまり理解できなかった部分がよく理解できた。
更に、「計算論」も再読してみたが、これはあまりにも教科書っぽいせいか、以前からほとんど理解は進まなかった。
combinatory logicが結構分かってきたので、unlambda関連にも再チャレンジ。
とりあえず、公式サイトに何が書いてあるのか一通り読んでみた方がいい気がしてきたので、翻訳してみる事にした(が、やる気が無いのであまり進んでいない)。
- http://e.tir.jp/wiliki?%cb%dd%cc%f5%3a%a5%d7%a5%ed%a5%b0%a5%e9%a5%df%a5%f3%a5%b0%b8%c0%b8%ecUnlambda
この後は、以下を行う予定。気力があれば。
- http://ling.ucsd.edu/~barker/Lambda/ski.html の翻訳
- combinatory logicによる、参照透過なVM実装(実際にはgaucheでコードを書く)
また、更なるやる気があれば、以下も行いたいところ。
