摘要: 历史 Lambda演算为描述函数及其评估提供了理论框架。它是一种数学抽象而不是编程语言 - 但它构成了几乎所有当前函数式编程语言的基础。等效的理论公式,组合逻辑,通常被认为比lambda演算更抽象,并且在发明之前。组合逻辑和lambda演算最初都是为了更清晰地接近数学基础而开发的。 一种早期功能性语 阅读全文
posted @ 2019-03-06 19:36 TomFord 阅读(299) 评论(0) 推荐(0) 编辑