Hindley/Milnerの型推論はだいぶわかったのですが、暗黙の型変換も合わせて行わないとうまく使えないので どうしたもんかなぁっと、いろいろ釣ってみてます。難しい

1.型推論で型チェックをしっかり行う。 2.JVMにコンパイルできるようにする。 3.アセンブラへコンパイルできるようにする。という段階を追って行く事にします。 型推論ではまず、関数の型推論だけではなく、各段階の全ての式について型情報を残すようにしま…

配列が無理矢理な実装だったので、先に進む気になれません。 もっとごちゃごちゃになる事は必須です。 ってことで、他の処理系を見て移植してみようとして規模に圧倒されて参っている今日この頃です。 そこで、本読んで、なにをやっているかをちゃんと把握し…