gocaml：使用Go和LLVM的实用静态类型函数编程语言实现

GoCaml :two-hump_camel: GoCaml是使用基于Go中OCaml的子集。 GoCaml为原始MinCaml添加了许多功能。 MinCaml是用于教育目的的OCaml的最小子集。 它是静态类型的，并编译为二进制。 该项目旨在针对我自己的编程语言进行增量编译器开发。 实现类型推断，闭包转换，中级IR。 例： let rec gcd m n = if m = 0 then n else if m < = n then gcd m (n - m) else gcd n (m - n) in print_int (gcd 21600 337500 ) 您可以看到。 （例如， ） 任务 Lexer->（ ） 使用解析器->（ ） Alpha转换（ ） 类型推断（Hindley Milner单态类型系统）->（ ） 中级中间表示（MIR）（ ） 从AST到MIR的K归一化（ ） 闭包转换（ ） 使用 （ ）生成代码（LLVM IR，程序集，对象，可执行） LLVM IR级别优化通过 垃圾收集 使用LLVM的“调试信息