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類型推論的擴展 。