由于简书不支持数学公式,请移步Hindley-Milner类型系统(3)。手机上显示数学公式不完整,请在电脑上阅读,否则影响理解。 相关链接 Hindley-Milner类型系统(1) Hindley-Milner类型系统(2)