FL(縮寫的Function Level,函數級別),是John Backus、John Williams和Edward Wimmers在1980年代於IBM研究院創立的函數式編程語言,並於1989年形成報告文檔[1]。FL被設計為Backus更早的FP語言的後繼者,提供了對Backus所稱的函數級編程的專門支持。

FL
編程範型函數級, 函數式
設計者John Backus
John Williams
Edward Wimmers
面市時間1989年
型態系統動態類型
啟發語言
FP

FL是動態類型的嚴格函數式編程語言,帶有很類似ML中的throw和catch的異常語義。每個函數都有一個隱含的歷史實際參數,它被用來做像嚴格的函數式I/O(輸入/輸出)這樣的事情,但也用來鏈接於C代碼。為了進行優化,這裡存在一個類型系統,它是Hindley–Milner類型推論的擴展。

使用

編輯

PLaSM英語PLaSM是在1992年首次描述的"FL語言子集的面向幾何的擴展"[2]

引用

編輯
  1. ^ Aiken, Alexander; Williams, John H.; Wimmers, Edward L. The FL Project: Design of a Functional Language (PDF). Stanford University. [2020-04-20]. (原始內容存檔 (PDF)於2019-09-07). 
  2. ^ Introduction to FL and PLaSM. plasm.net. [2020-04-20]. (原始內容存檔於2020-03-04). 

外部連結

編輯