推荐大家看看我们同班另外一个组的编译器，从 PL 层面来说，比我们组写得有设计感的多。
从和类型/积类型，到模式匹配、自动捕获的匿名函数，再到标准库 std.array ，他们实现了一个编译型函数式编程语言的很多内容。从很多意义上来说，我觉得他们的产出比我们做的更有价值。
仓库: https://github.com/permui/calocom
文档: https://github.com/permui/calocom/blob/main/document/slides.pdf
样例代码: https://github.com/permui/calocom/tree/main/example
以上图片出处均来自此仓库
从和类型/积类型，到模式匹配、自动捕获的匿名函数，再到标准库 std.array ，他们实现了一个编译型函数式编程语言的很多内容。从很多意义上来说，我觉得他们的产出比我们做的更有价值。
仓库: https://github.com/permui/calocom
文档: https://github.com/permui/calocom/blob/main/document/slides.pdf
样例代码: https://github.com/permui/calocom/tree/main/example
以上图片出处均来自此仓库