函式型程式設計語言

函式型程式設計語言

函式型程式設計語言允許利用函式的數學性質。函式型(也稱為作用型)語言的命名源於函式及函式作用在語言中的主導地位。

基本介紹

  • 中文名:函式型程式設計語言
  • 外文名:LISP
  • 性質:函式的數學性質
  • 組成:原語函式集,函式型集等
  • 代表性語言:LISP、APL、FP、FFP
  • 套用學科:計算機原理
組成部分,代表性語言,LISP特點,

組成部分

函式型語言有以下四個組成部分:
(1)一個原語函式集;
(2)一個函式型集;
(3)作用操作;
(4)一個數據對象集。
原語函式是由語言預先定義的,可以直接進行作用。函式型是函式組合的機制,可以用於創建新的函式。數據對象包括定義域和值域的成員。函式型程式設計語言的特性是具有一個非常有限的數據對象集,其上含有簡單而正規的結構,函式型程式設計的主要方法是使用函式型定義新的函式。
函式型程式設計語言除了包括上述四個組成部分外,還具有把名字約束到新定義函式的機制。這一設施為語言的使用提供了方便,避免了對函式多次重複定義的問題。

代表性語言

函式型語言的代表性語言有LISPAPLFPFFP等。
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)程式以互動方式運行。

相關詞條

熱門詞條

聯絡我們