小西 洋丞

Haskell で作った Scheme のインタープリタです。 Chaitin の Ω関数 を計算できるように対応してあります。

Haskell で書いた Haskell(Simply-Typed) のインタープリタです。 いずれはコンパイラにするつもりです。 GHCが fmap ((->) r) のような計算に対応していないことから、対応させてみたくて作りました。 もし作れれば Monad-Transformer が不要になるかもしれない。