FL語言
| 編程範型 | 函數級, 函數式 |
|---|---|
| 設計者 | 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)
 | 這是一篇關於電腦程式語言的小作品。您可以透過編輯或修訂擴充其內容。 |