匿名函数与莎士比亚大定理 This article is translated from Here 提问：为什么在lambda calculus里面，函数必须是匿名的。 我正在观看一个Youtube视频，在这个视频里面，讲者介绍了Y组合子的概念。Y组合子概念产生的动机之一，正如讲者所述，是为了用lambda calculus来表示递归函数，以使得Church理论(任何能被实际上计算的东西都可以用l…
匿名函数与莎士比亚大定理 This article is translated from Here 提问：为什么在lambda calculus里面，函数必须是匿名的。 我正在观看一个Youtube视频，在这个视频里面，讲者介绍了Y组合子的概念。Y组合子概念产生的动机之一，正如讲者所述，是为了用lambda calculus来表示递归函数，以使得Church理论(任何能被实际上计算的东西都可以用l…
讨论
登录后参与讨论
还没有评论，来说第一句吧。