FL (编程语言)
FL（縮寫的 Function Level，函式級別），是 John Backus、John Williams 和 Edward Wimmers 在 1980 年代於 IBM 研究院創立的函數式程式語言，並於 1989 年形成報告文件。FL 被設計為 Backus 更早的 FP 語言的後繼者，提供了對 Backus 所稱的函式級編程的專門支援。
FL 是動態型別的嚴格函式語言程式設計語言，帶有很類似 ML 中的 throw 和 catch 的異常語意。每個函式都有一個隱含的歷史實際參數，它被用來做像嚴格的函數式 I/O（輸入 / 輸出）這樣的事情，但也用來連結於 C 代碼。為了進行最佳化，這裡存在一個型別系統，它是 Hindley–Milner 類型推論的擴充。