mincamlのScalaへの移植
mincaml をScalaに移植する作業をしてたのですが、ようやく、全体のコンパイルが通りました。
型のチェックがしっかり効いているのでバグは少ないと思いますが、何をやってるかよく把握しない状態で
型だけあわせて行った感じなので、勘違いによるバグの混入はあるはずです。
次は、各段階ごとにデバッグしていけば動くようにしていきます。
現状ある程度パースして型推論までは確認できているので最適化、コード生成を順次確認していく予定です。
OCaml で作成されたコンパイラをほとんど構造を変えずに、移植出来ることが出来ました。
OCaml よりもC言語風なシンタックスのScalaで表現されているので、
通常のC言語風言語を使用しているプログラマにはOCamlより分かりやすくなっているのではないかと思います。
