组合子逻辑 编辑
组合子逻辑是Moses Schönfinkel和哈斯凯尔·加里介入的一种符号系统，用来消除数理逻辑中对变量的需要。它最近在计算机科学中被用做计算的理论模型和设计函数式编程语言的基础。它所基于的组合子是只使用函数应用或早先定义的组合子来定义从它们的参数得出的结果的高阶函数。
7
图片 0 图片
评论 0 评论
匿名用户 · [[ show_time(comment.timestamp) ]]
[[ nltobr(comment.content) ]]
相关
哈斯凯尔·布鲁克·柯里，生于美国马萨诸塞州米里镇，数理逻辑学家，专长于组合子逻辑理论。尽管组合子逻辑的概念始于Moses Schönfinkel的一纸论文，其大部分发展工作是由柯里完成的。柯里也因为他的柯里悖论和柯里-霍华德同构而闻名。
隐式编程，或函数级编程，是一种编程范型，也叫做无点样式。其中函数定义不标示所要操作的参数，转而函数定义只是其他函数的复合函数，比如那些操纵参数的组合子逻辑。隐式编程有着理论价值，因为严格的使用复合导致程序非常适配于方程式推理。它也是特定编程语言的自然样式，包括APL语言及其派生者，和串接编程语言比如Forth。将参数缺席称为“point-free”导致了不必要的晦涩，故而有了别名为“pointless”。
哈斯凯尔·布鲁克·柯里，生于美国马萨诸塞州米里镇，数理逻辑学家，专长于组合子逻辑理论。尽管组合子逻辑的概念始于Moses Schönfinkel的一纸论文，其大部分发展工作是由柯里完成的。柯里也因为他的柯里悖论和柯里-霍华德同构而闻名。
哈斯凯尔·布鲁克·柯里，生于美国马萨诸塞州米里镇，数理逻辑学家，专长于组合子逻辑理论。尽管组合子逻辑的概念始于Moses Schönfinkel的一纸论文，其大部分发展工作是由柯里完成的。柯里也因为他的柯里悖论和柯里-霍华德同构而闻名。
哈斯凯尔·布鲁克·柯里，生于美国马萨诸塞州米里镇，数理逻辑学家，专长于组合子逻辑理论。尽管组合子逻辑的概念始于Moses Schönfinkel的一纸论文，其大部分发展工作是由柯里完成的。柯里也因为他的柯里悖论和柯里-霍华德同构而闻名。
哈斯凯尔·布鲁克·柯里，生于美国马萨诸塞州米里镇，数理逻辑学家，专长于组合子逻辑理论。尽管组合子逻辑的概念始于Moses Schönfinkel的一纸论文，其大部分发展工作是由柯里完成的。柯里也因为他的柯里悖论和柯里-霍华德同构而闻名。