补充资料：函数式程序设计语言

函数式程序设计语言
functional programming language

hans卜ush一ehengxu Sheji yuyan函数式程序设计语言(functionai progn””-而nglangu昭e)用于函数式程序设计的语言。其中函数是构造程序的基本成分，并提供一些设施用于构造更为复杂的函数。程序人员根据提出的问题去定义求解函数(即为主程序)，其中可能包含一些辅助函数(即为子程序)。最早的函数式程序设计语言是J.Mdllrthy领导的小组所建立的LISP一1语言。1977年，J.氏ckus在他的ACM飞，uring演讲中，详细、深刻地分析了冯·诺伊曼风格的语言—FP函数式语言。他的演讲引起了世人的广泛注意，被称为函数式语言发展史上的里程碑，其后陆续出现了一些新的函数式语言如豁铭L，KRL，ML，陇rands川匕洋，(玉well，Haskell等。 函数式语言可分为纯函数式语言与非纯函数式语言。纯函数式语言中禁止使用赋值语句，从而不会产生副作用，其优点是享有引用透明性，有助于程序的等式变换和推理。非纯函数式语言中，允许赋值语句在一定范围内使用，在沿袭函数式语言所享有的优点的同时，提高表达能力和实现效率。按语义区分，又可分为严格的和非严格两类。一个函数f称为严格的，当且仅当f(土)=上。在严格函数式语言中，参数是按值调用，这种计算方法称为急性计值，反之，非严格函数式语言中，参数的计值是惰性的，参数只在需用时才计算，目前有许多非严格的函数式语言，P.F山dak等人组织了一个小组，定义了Haskell语言，企图作为这类语言的标准文本。

说明：补充资料仅用于学习参考，请勿用于其它任何用途。