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