Hindley-Milner类型系统（1）

由于简书不支持数学公式，请移步Hindley-Milner类型系统（1）。最好用电脑看，手机上数学公式显示不完整，影响阅读和理解。