函式型程式設計語言允許利用函式的數學性質。函式型(也稱為作用型)語言的命名源於函式及函式作用在語言中的主導地位。
基本介紹
- 中文名：函式型程式設計語言
- 外文名：LISP
- 性質：函式的數學性質
- 組成：原語函式集，函式型集等
- 代表性語言：LISP、APL、FP、FFP
- 套用學科：計算機原理
組成部分,代表性語言,LISP特點,
組成部分
函式型語言有以下四個組成部分：
(1)一個原語函式集；
(2)一個函式型集；
(3)作用操作；
(4)一個數據對象集。
原語函式是由語言預先定義的，可以直接進行作用。函式型是函式組合的機制，可以用於創建新的函式。數據對象包括定義域和值域的成員。函式型程式設計語言的特性是具有一個非常有限的數據對象集，其上含有簡單而正規的結構，函式型程式設計的主要方法是使用函式型定義新的函式。
函式型程式設計語言除了包括上述四個組成部分外，還具有把名字約束到新定義函式的機制。這一設施為語言的使用提供了方便，避免了對函式多次重複定義的問題。
代表性語言
APL是由Kenneth Iverson於50年代末至60年代初在哈佛大學設計的。其設計主要是基於數學，也適當考慮了機器效率。
FP是John Bachus於1977年提出的一種純函式型語言。FP語言的基本概念建立在原子(atom)的基礎上，原子用於建立對象與表達式。
FFP是John Bachus在FP的基礎上提出來的另一種函式型語言。FFP語言在FP語言的基礎上，引入了一些新的概念，例如，作用(application)、元合成(metacomposition)、取(fetch)、存(store)等。FFP語言與APL、FP語言有許多一致的地方，因此受到了人們的普遍重視。
LISP是最具有代表性、影響最廣的函式型程式設計語言。
LISP特點
LISP語言的主要特點是：
(1)LISP程式由一組函式組成，程式的執行過程是函式的調用過程。
(2)程式和數據在形式上是相同的，即都是符號表達式，簡稱為s一表達式。
(3)遞歸是LISP語言的主要控制結構。
(4)程式以互動方式運行。
