FL語言

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]。