コンパイラを実際に作ってみて実装に大分詳しくなってきました。暗黙的な型変換が含んでいることもあって、MinCamlよりもずっと行数が多くなっています。今なら難しいと思っていたMinCamlが簡単に思えるかもしれません。出来れば、より良い型推論を含んだ型…