的每个元素后的结果形成的list。 把函数作为函数参数与函数返回值会遇到特别的困难。特别是存在与、匿名函数。历史上，这被称作。 早期的命令式编程语言，或者不支持函数作为结果类型（如ALGOL 60, Pascal），或者忽略嵌套函数与非局部变量（如C语言）。早期的函数式语言Lisp采取了动态作用域方法，把非局部变量绑定到函数执行点最近的变量定义。Scheme语言支持词法作用域的zh-cn:头等函数;zh-tw:一级函式;，把对函数的引用绑定到闭包（closure）而不是函数指针，这使得垃圾收集成