FL (编程语言)

✍ dations ◷ 2025-07-05 19:17:27 #函数级语言,学术的编程语言,1989年建立的编程语言

FL(缩写的Function Level,函数级别),是John Backus、John Williams和Edward Wimmers在1980年代于IBM研究院创立的函数式编程语言,并于1989年形成报告文档。FL被设计为Backus更早的FP语言的后继者,提供了对Backus所称的函数级编程的专门支持。

FL是动态类型的严格函数式编程语言,带有很类似ML中的throw和catch的异常语义。每个函数都有一个隐含的历史实际参数,它被用来做像严格的函数式I/O(输入/输出)这样的事情,但也用来链接于C代码。为了进行优化,这里存在一个类型系统,它是Hindley–Milner类型推论的扩展。

PLaSM是在1992年首次描述的"FL语言子集的面向几何的扩展"。

相关

  • 台北市文化资产台北市文化资产是台北市各级古迹与其他文化资产。本表表列原则如下:.中正区汀州路三段24巷1号及3号;汀洲路三段24巷5弄1、3、13、15号;汀洲路三段24巷5弄5、7、11、19号;汀洲路
  • 澳大利亚君主澳大利亚主题澳大利亚君主,是立宪世袭君主。现任澳大利亚君主是伊丽莎白二世女王,由1952年2月6日在位至今。澳大利亚总督在全国层面代表君主,由君主根据宪法以君主制诰委任,在君
  • 隐尾蠊科隐尾蠊属(Cryptocercus)是网翅总目下的一属及隐尾蠊科下的唯一成员。此属为亚社会性,若虫需要亲代大量的照顾。隐尾蠊属的肠胃中生有和食木性白蚁相同的木质消化共生菌,此点被视
  • 2013年巴基斯坦大选米尔汗·哈萨·霍索 无党派人士纳瓦兹·谢里夫 巴基斯坦穆斯林联盟(谢里夫派)2013年巴基斯坦大选于2013年5月11日进行。其中选出巴基斯坦国会下院国民议会以及旁遮普省、信德
  • 托潘加托潘加(Topanga)是美国加利福尼亚州的一个人口普查指定地区,位于洛杉矶郡西部圣莫尼卡山脉。2010年人口普查时,托潘加有人口8,289人。
  • JEL分类系统JEL分类系统,是美国经济学会《经济文献杂志》(Journal of Economic Literature)所创立的对经济学文献的主题分类系统,并被现代西方经济学界广泛采用。该分类方法主要采用开头的
  • 中铁财务中铁财务有限责任公司,注册地位于北京,隶属于中国铁路工程总公司。业务性质为综合金融服务。2017年,公司总资产647.66亿元,净资产53.17亿元,净利润5.86亿元。
  • 周麟 (消歧义)周麟可以指:
  • 乔治·亨利·彼得斯乔治·亨利·彼得斯(George Henry Peters,1863年-1947年10月18日),美国天文学家,逝世于华盛顿特区。他曾在美国海军天文台工作,发现了三颗小行星,并拍摄过太阳的日冕照片。
  • 黑瞳黑瞳是连载于网站有妖气的长篇恐怖彩色漫画,作者笔名为兔B。作者兔B开始只创作了开头和一个大的框架,并且原先想把摩斯和肖强都画成女的,全部都是女角色,死得都是男的。黑瞳没有