FL语言
维基百科,自由的 encyclopedia
FL(缩写的Function Level,函数级别),是John Backus、John Williams和Edward Wimmers在1980年代于IBM研究院创立的函数式编程语言,并于1989年形成报告文档[1]。FL被设计为Backus更早的FP语言的后继者,提供了对Backus所称的函数级编程的专门支持。
Quick Facts 编程范型, 设计者 ...
Close
FL是动态类型的严格函数式编程语言,带有很类似ML中的throw和catch的异常语义。每个函数都有一个隐含的历史实际参数,它被用来做像严格的函数式I/O(输入/输出)这样的事情,但也用来链接于C代码。为了进行优化,这里存在一个类型系统,它是Hindley–Milner类型推论的扩展。