如何在给出解析图的情况下完成ML类型推理算法

Question

我想尝试将ML类型推理算法用于特定的函数声明。我有一个解析图 - 如何使用它来计算类型检查器的输出？

功能：fun f(g) = g(g) + 2;

解析图：

我通常会以编程方式解决这个问题，但我没有相关信息来做到这一点。

Answer 1

一种明智的方法是实现Algorithm W，因为算法W将允许您在Hindley-Milner type system上实现类型推断--Hindley-Milner类型系统是ML家族语言实现的常见功能。