我想尝试对特定函数声明使用 ML 类型推断算法。我有一个解析图——如何使用它来计算类型检查器的输出？
函数:fun f(g) = g(g) + 2;
解析图:
我通常只是通过编程来解决这个问题，但我没有相关信息来为此做这件事。
最佳答案
一个明智的方法是实现 Algorithm W因为算法 W 将允许您在 Hindley-Milner type system 上实现类型推断- Hindley-Milner 类型系统是 ML 系列语言实现的常见特征。
关于algorithm - 如何在给定解析图的情况下完成 ML 类型推理算法，我们在Stack Overflow上找到一个类似的问题： https://stackoverflow.com/questions/26604976/