rvml-具有let多态性的min-caml编译器 rvml是实现let多态性的min-caml编译器。 rvml的多态类型推断是在DidierRémy发现的基于级别的算法中实现的。 代码生成器可以生成具有多态类型的代码。 要求 llvm-11.0.1 在macOS中，您可以在Homebrew中安装llvm。 $ brew install llvm 如果使用其他OS或体系结构，则可能需要从源代码构建llvm。 请参阅 。 命令行界面 rvml 0.1.0 hobo0xcc min-caml