FL语言 FL缩写的Function Level函数级别是John BackusJohn Williams和Edward Wimmers在年代于IBM研究院创立的函数式编程语言并于年形成报告文档FL被设计为Backus更早的FP语言的后继者提供了对Backus所称的函数级编程的专门支持 FL是动态类型的严格函数式编程语言带有很类似ML中的throw和catch的异常语义每个函数都有一个隐含的历史实际参数它被用来做像严格的函数式IO输入输出这样的事情但也用来链接于C代码为了进行优化这里存在一个类型系统它是HindleyMilner类型推论的扩展