増分コンパイラコース：OCamlによるTigerからx86-64アセンブリへ
2025-04-05
これは、高級言語Tigerをx86-64マシンコードにコンパイルするコンパイラを構築することを目的とした、非常に実践的なコンパイラコースです。このコースではOCamlを使用し、テスト駆動開発、バージョン管理、コードの再利用を重視しています。言語とコンパイラの機能を段階的に拡張する反復的な増分開発アプローチを採用し、拡張性を高めるためにtagless-finalスタイルを最大限に活用します。このコースでは、構文解析、型チェック、最適化、アセンブリ生成など、コンパイラコースの標準的なトピックを網羅していますが、非伝統的な方法で取り扱います。
開発
増分開発