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

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

函数：

funf（g）=g（g）+2

解析图：

我通常只是通过编程来解决这个问题，但是我没有相关的信息来做这件事。
一个合理的方法是实现，因为算法W将允许您在A-Hindley-Milner类型系统上实现类型推断，这是ML家族语言实现的常见功能。
您甚至不能手工完成，因为“没有相关信息”？我认为你还没有完成作业。没有证据表明OP研究了解决方案。输出是一条错误消息。