小编him*_*him的帖子

我最近学习了SML,当我开始了解术语 - 应用和生成的函子.我也知道SML使用生成函子.

我尝试使用谷歌条款,但找不到任何令人信服的资源来解释这些术语的含义以及两者之间的区别.

所以,我只是想以一些实际上可行的方式知道这些术语的实际含义,以及它如何与SML 生成相关.

我最近一直在学习β微积分。我了解未类型化和类型化的α演算之间的区别。但是，我对Hindley-Milner类型系统和类型化α-微积分之间的区别还不太清楚。是关于参数多态性还是其他差异？

谁能清楚指出两者之间的差异（和相似之处）？

谁能解释类型检查和类型推断问题之间的区别？

我试图寻找差异，但我找不到任何令人信服的资料来清楚地解释差异。如果可能的话还包括示例。