基于OCaml的增量式编译器课程：从Tiger语言到x86-64汇编

这是一门实践性很强的编译器课程，目标是构建一个将高级Tiger语言编译成x86-64机器码的编译器。课程采用OCaml语言，并强调测试驱动开发、版本控制和代码复用。课程采用迭代式增量开发，逐步扩展语言和编译器功能，充分利用tagless-final风格提高可扩展性。课程涵盖了编译器课程的标准内容，例如解析、类型检查、代码优化和汇编生成，但以一种非常规的方式进行。