FL语言
| 编程范型 | 函数级, 函数式 |
|---|---|
| 設計者 | 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)
 | 这是一篇關於電腦程式語言的小作品。您可以通过编辑或修订扩充其内容。 |