如何在给定解析图的情况下完成 ML 类型推断算法答案

【问题标题】：How to complete ML type-inference algorithm given a parse graph如何在给定解析图的情况下完成 ML 类型推断算法
【发布时间】：2014-12-23 15:49:45
【问题描述】：

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

函数：fun f(g) = g(g) + 2;

解析图：

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

【问题讨论】：

【解决方案1】：

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

【讨论】：