FL(縮寫的Function Level,函數級別),是John Backus、John Williams和Edward Wimmers在1980年代於IBM研究院創立的函數式程式語言,並於1989年形成報告文件[1]。FL被設計為Backus更早的FP語言的後繼者,提供了對Backus所稱的函數級編程的專門支援。

Quick Facts 編程範型, 設計者 ...
FL
編程範型函數級, 函數式
設計者John Backus
John Williams
Edward Wimmers
釋出時間1989年
型態系統動態型別
啟發語言
FP
Close

FL是動態型別的嚴格函數式程式設計語言,帶有很類似ML中的throw和catch的異常語意。每個函數都有一個隱含的歷史實際參數,它被用來做像嚴格的函數式I/O(輸入/輸出)這樣的事情,但也用來連結於C代碼。為了進行最佳化,這裏存在一個型別系統,它是Hindley–Milner類型推論的擴充。

使用

PLaSM英語PLaSM是在1992年首次描述的"FL語言子集的面向幾何的擴充"[2]

參照

外部連結

Wikiwand in your browser!

Seamless Wikipedia browsing. On steroids.

Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.

Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.