FL语言
![本页使用了标题或全文手工转换](http://images.weserv.nl/?url=//upload.wikimedia.org/wikipedia/commons/thumb/c/cd/Zh_conversion_icon_m.svg/35px-Zh_conversion_icon_m.svg.png)
编程范型 | 函数级, 函数式 |
---|---|
設計者 | John Backus John Williams Edward Wimmers |
发行时间 | 1989年 |
型態系統 | 动态类型 |
啟發語言 | |
FP |
FL(缩写的Function Level,函数级别),是John Backus、John Williams和Edward Wimmers在1980年代于IBM研究院创立的函数式编程语言,并于1989年形成报告文档[1]。FL被设计为Backus更早的FP语言的后继者,提供了对Backus所称的函数级编程的专门支持。
FL是动态类型的严格函数式编程语言,带有很类似ML中的throw和catch的异常语义。每个函数都有一个隐含的历史实际参数,它被用来做像严格的函数式I/O(输入/输出)这样的事情,但也用来链接于C代码。为了进行优化,这里存在一个类型系统,它是Hindley–Milner类型推论的扩展。
使用
PLaSM是在1992年首次描述的"FL语言子集的面向几何的扩展"[2]。
引用
- ^ Aiken, Alexander; Williams, John H.; Wimmers, Edward L. The FL Project: Design of a Functional Language (PDF). Stanford University. [2020-04-20]. (原始内容存档 (PDF)于2019-09-07).
- ^ Introduction to FL and PLaSM. plasm.net. [2020-04-20]. (原始内容存档于2020-03-04).
外部链接
- FL Language Manual, Parts 1 and 2(页面存档备份,存于互联网档案馆) (PDF)
- List of FL papers(页面存档备份,存于互联网档案馆) at plasm.net
- Introduction to FL and PLaSM(页面存档备份,存于互联网档案馆) (PDF)
![]() | 这是一篇關於電腦程式語言的小作品。您可以通过编辑或修订扩充其内容。 |