FL語言
![本頁使用了標題或全文手工轉換](http://images.weserv.nl/?url=//upload.wikimedia.org/wikipedia/commons/thumb/c/cd/Zh_conversion_icon_m.svg/35px-Zh_conversion_icon_m.svg.png)
編程範型 | 函數級, 函數式 |
---|---|
設計者 | John Backus John Williams Edward Wimmers |
釋出時間 | 1989年 |
型態系統 | 動態型別 |
啟發語言 | |
FP |
FL(縮寫的Function Level,函數級別),是John Backus、John Williams和Edward Wimmers在1980年代於IBM研究院創立的函數式程式語言,並於1989年形成報告文件[1]。FL被設計為Backus更早的FP語言的後繼者,提供了對Backus所稱的函數級編程的專門支援。
FL是動態型別的嚴格函數式程式設計語言,帶有很類似ML中的throw和catch的異常語意。每個函數都有一個隱含的歷史實際參數,它被用來做像嚴格的函數式I/O(輸入/輸出)這樣的事情,但也用來連結於C代碼。為了進行最佳化,這裏存在一個型別系統,它是Hindley–Milner類型推論的擴充。
使用
PLaSM是在1992年首次描述的"FL語言子集的面向幾何的擴充"[2]。
參照
- ^ 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).
- ^ Introduction to FL and PLaSM. plasm.net. [2020-04-20]. (原始內容存檔於2020-03-04).
外部連結
- FL Language Manual, Parts 1 and 2(頁面存檔備份,存於互聯網檔案館) (PDF)
- List of FL papers(頁面存檔備份,存於互聯網檔案館) at plasm.net
- Introduction to FL and PLaSM(頁面存檔備份,存於互聯網檔案館) (PDF)
![]() | 這是一篇關於電腦程式語言的小作品。您可以透過編輯或修訂擴充其內容。 |