英文
functional language
简介
一类程序设计语言.是一种非冯·诺伊曼式的程序设计语言.函数式语言主要成分是原始函数、定义函数和函数型.这种语言具有较强的组织数据结构的能力，可以把某一数据结构(如数组)作为单一值处理;可以把函数作为参数，其结果也可为函数，这种定义的函数称为高阶函数.程序就是函数，程序作用在结构型数据上，产生结构型结果，从根本上改变了冯·诺伊曼式语言的“逐词”工作方式.
函数式语言具有简明性和独特的表达能力，因此可用它来研究传统程序设计语言的语义.巴科斯(Backus，J.)分析了传统程序设计语言的缺陷，认为这些缺陷主要是采用冯·诺伊曼式系统结构所造成的.巴科斯提出的函数式程序设计系统FP摆脱了传统的冯·诺伊曼计算机结构，因此，需要一种新型的非冯·诺伊曼式的系统结构为后援.