SOC OCaml编译器的子集。 最终目标是编译代码库的所有OCaml部分(不包括某些原始函数,这些原始函数将作为运行时的一部分用C语言编写)。 为什么 根据我的经验,大多数学生可以为某些小语言构建编译器,有时还可以进行类型检查,类,lambda甚至是基本的运行时。 但是,此类“玩具编译器”与生产编译器(例如之间仍然存在巨大差距。 我认为自编译器将有助于弥合这一差距,并极大地帮助人们理解一种语言。 至于为什么要使用OCaml ? 我只是喜欢这种语言:)。