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