文件名称：TinyOutsideIn:OutdoorIn(X) 类型检查算法的小实现
文件大小：8KB
文件格式：ZIP
更新时间：2024-07-02 14:51:55
Haskell
微小的外在（X） 这是类型推理算法的简单参考实现。 该语言支持大小限制，但在其他方面非常有限： 没有解析器——只有抽象语法。 没有评估员。 我们假设*绑定为它们提供了类型。 没有对 let 表达式或*函数的泛化。 但是，添加它应该不会太难。 推理算法只产生一个约束系统。 尚未尝试解决这些问题。 文档记录不完整且编码迟缓（这确实应该修复）。
【文件预览】：
TinyOutsideIn-master
----README.md(668B)
----LICENSE(1KB)
----TinyOutsideIn.hs(23KB)