feature-core

函数是一等公民

  • 函数（值 | 运算 | 参数 | 返回值）
  • 在lambda演算中，不存在其他公民

    柯理化

  • 限制
  • lambda演算不支持多参数

纯函数/不可变性

  • lambda演算中不存在复制运算，它只能产生纯函数，数据也一定不可变

高阶函数

  • 因为lambda演算中存在函数以外的值，所有函数一定是高阶函数

essential

  • 函数是一等公民 && 闭包
  • 语言本身可能提供高阶特性，没必要全都用lambda推导
  • lambda是图灵完备的，这意味着它可以实现任何算法（递归是一种表现形式，而不是一种算法）