またまたHaskellで実装してみました。 変数名の衝突を避けるためにde Bruijn indiciesという方法を使ってます。 だいたい内側のラムダ抽象の引数から順に0,1,2...と番号をふる感じの方法です。 詳しいことは本で確認してもらえれば・・・。 {- Untyped Lambd…

春休みに入って時間に余裕ができたので図書館でTypes and Programming Languages (The MIT Press)作者: Benjamin C. Pierce出版社/メーカー: The MIT Press発売日: 2002/01/04メディア: ハードカバー購入: 5人 クリック: 86回この商品を含むブログ (53件) を…