またまた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件) を…

今日は、 aoj 1306, 2079, 2161, 2165を解いた。 目標まで残り143問

に入りました。新学期までに150問ぐらい解くのを目標にしたいと思います。 とりあえず、今日は3問解きました。