System F 的规范实现是什么？
What is the canonical implementation of System F?
System F 是在对原型进行编程时简单推理类型的好方法。除了自己实现之外，我还想使用现有的实现。
在寻找实施时，似乎没有 - 我不确定为什么。
我的问题是：系统 F 的规范实现是什么？
OCaml 中类型化 lambda 演算的 Types and Programming Languages book by B.C. Pierce is famous (among other things) for providing and discussing implementations。
本书提供了系统 F 的实现，称为 fullpoly and explains the implementation details in Chapter 25. fullpoly extends an implementation of simply-typed lambda calculus with booleans -- simplebool。
可以找到构建和执行这些类型检查器和解释器的说明 here。
System F 是在对原型进行编程时简单推理类型的好方法。除了自己实现之外，我还想使用现有的实现。
在寻找实施时，似乎没有 - 我不确定为什么。
我的问题是：系统 F 的规范实现是什么？
OCaml 中类型化 lambda 演算的 Types and Programming Languages book by B.C. Pierce is famous (among other things) for providing and discussing implementations。
本书提供了系统 F 的实现，称为 fullpoly and explains the implementation details in Chapter 25. fullpoly extends an implementation of simply-typed lambda calculus with booleans -- simplebool。
可以找到构建和执行这些类型检查器和解释器的说明 here。