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 compiler with let-polymorphism
USAGE:
rvml [FLAGS] [OPTIONS] [INPUT]
FLAGS:
--ast Print AST
-t, --show-type show type
1