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