机器学习中的乐趣和修复
Fun and Fix in ML
我理解 ML 中的乐趣和修正：
fix 计算最小固定点或者可以简单地允许在调用中使用相同的名称并且 fun 允许显式控制范围变量也很有趣用于非递归版本。
我可能是错的。任何人都可以指定 ML.fun 和 fix 之间的区别吗？
该论文介绍了一种称为 ML₀ 的微型语言，它提供了两个结构，lam 和 fix。第一个用于非递归函数表达式，而第二个是允许定义递归函数的定点组合器。
fun 稍后用作另一种语言的一部分，该语言是供程序员使用的表面语言。 fun 应该去糖化为 lam 和 fix 调用，如论文的图 5 所示。
我理解 ML 中的乐趣和修正：
fix 计算最小固定点或者可以简单地允许在调用中使用相同的名称并且 fun 允许显式控制范围变量也很有趣用于非递归版本。
我可能是错的。任何人都可以指定 ML.fun 和 fix 之间的区别吗？
该论文介绍了一种称为 ML₀ 的微型语言，它提供了两个结构，lam 和 fix。第一个用于非递归函数表达式，而第二个是允许定义递归函数的定点组合器。
fun 稍后用作另一种语言的一部分，该语言是供程序员使用的表面语言。 fun 应该去糖化为 lam 和 fix 调用，如论文的图 5 所示。