匿名函数：从多语言视角阐释

在计算机编程中，匿名函数（anonymous function）是指一类无需定义标识符（函数名）的函数，现在的很多编程语言中都提供有支持匿名函数的语法。匿名函数的设想最初是源自阿隆佐·丘奇（Alonzo Church）在1936年提出的lambda演算子，彼时电子计算机还没有诞生，在lambda演算子中所有的函数都是匿名的。由此，后来引入匿名函数的很多编程语言都用 lambda 作为表示匿名函数语法的关键词。最早引入匿名函数特性的编程语言是Lisp，那是在1958年。LISP是最早出现的一种函数式程序设计语言。我们今天会从多个语言的视角来看看其中的匿名函数语法规则是怎样的。

 

1、Haskell

Haskell 是当前最为流行的一种函数式编程语言。Haskell 语法里有一种叫做高阶函数（Higher order functions）的设计，这有点像C语言中指向函数的指针。

 

在Haskell中，一阶值（First order values）指的是普通数据。二阶值（Second order values）是指那些以一阶值作为参数和返回结果的函数。三阶值（Third order values）是指那些以二阶值作为参数和返回结果的函数。以此类推，n阶值（nth order values）are