问:什么是咖喱?
答:Currying 是数学和计算机科学中使用的一种技术,它是指将一个接收多个参数的函数转换成若干个各接收一个参数的函数。

问:谁为 "卷曲 "奠定了基础?
答:数学家摩西-舍恩芬克尔(Moses Schönfinkel)和戈特洛布-弗雷格(Gottlob Frege)为卷曲技术奠定了基础。

问:哈斯凯尔-布鲁克斯-库里是谁?
答:哈斯克尔-布鲁克斯-库里是一位数学家,"卷积法 "就是以他的名字命名的。

问:什么是 Lambda 微积分?
答:Lambda 微积分是数理逻辑和计算机科学中用于表达计算的形式系统。

问:卷曲在 Lambda 微积分中有什么作用?
答:卷曲在 Lambda 微积分中用于将有多个参数的函数简化为一系列只有一个参数的函数。

问:是否有编程语言限制函数只能有一个参数?
答:有,一些编程语言(如 ML 和 Haskell)限制函数只能有一个参数。

问:为什么 ML 和 Haskell 等编程语言限制函数只能有一个参数?
答:这一限制的动机是 "卷曲 "带来的简单性和灵活性。只有一个参数的函数可以很容易地组成和组合,从而使代码更加简洁和可重用。

AlegsaOnline.com - 2020 / 2023 - License CC3