mlsub: 原型形态的推理引擎

这是具有子类型和多态性的类ML语言的原型类型推断器。 它是用OCaml编写的，而构建它需要Menhir。 它接受包含用OCaml的非常有限的子集（仅lambda，unit和let ）编写的程序的行，并且如果喜欢它们，则吐出一些调试输出及其主要类型，如果不喜欢，则发出不礼貌的异常。 一些示例及其推断的类型： 标识函数的类型为v0 -> v0 。 推断类型中的所有*变量都被普遍地量化，就像这些部分中的习惯一样。 fun x -> x (v0 -> v0) 推理者实际上会吐出两种类型：原始类型和简化类型。 第二个是第一个的简化但等效的渲染。 简化程序目前不是很好。 可以使用类型说明，并检查多态包含： (fun x -> x : a -> a) (v0 -> v0) 归属可能不如推断的类型普遍： (fun x -> x : unit -> unit) (unit -> unit)