FL語言
外觀
FL(縮寫的FunctionLevel,函式級別), 是 John Backus、John Williams 和 Edward Wimmers 佇一九八空年代 IBM 研究院創立的函數式程式語言,並且一九八九年形成報告文件。FL 被設計做 Backus 閣較早的 FP 語言的了後繼者,提供矣著 Backus 所稱的函式級編程的專門支援。
FL 是動態型別的嚴格函式的語言程式設計語言,帶足類似的呢 ML 中的 throw 和 catch 的異常語意。逐个函式攏有一个隱含的歷史實際參數,伊予人用來做像嚴格的函數式 I / O(輸入 / 輸出)按呢的代誌,毋過嘛用來連結 C 代碼。為著進行最佳化,遮存在一个型別系統,伊是 Hindley–Milner 類型推論的擴充。
使用
PLaSM 是佇一九九二年頭擺描述的 " FL 語言仔集的面向幾若款的擴充 "。
參照
外部連結
- FL Language Manual , Parts 一 and 二 ( PDF )
- List of FL papers at plasm . net
- Introduction to FL and PLaSM ( PDF )