液体类型：逻辑上合格的数据类型-自动推断优化类型

逻辑合格的数据类型 该存储库包含在Rust的上的实现，该实现基于ML的隐式类型的变体。 建造 此项目需要在库搜索路径中具有库。 跑 例如， examples/max3.ml定义一个函数max并将其应用于两个参数： let max = fun x -> fun y -> if x > y then x else y in max 1 - 3 您可以通过运行以下命令来推断该程序的液体类型： $ target/debug/liquid-types examples/max3.ml 这将吐出有关液体环境（Γ）和子类型约束，以（a）开头的液体类型模板以及经过反复弱化它们的液体类型模板（min_a）以及精制类型的调试信息。通过运行液体类型推断。 例如，为上面的max推断的类型是： max_a1: F(x_a2: {ν: Int | 0 ≤ ν} → F(y_a3: {ν: Int | tr