FL (编程语言)

✍ dations ◷ 2025-11-29 09:52:15 #函数级语言,学术的编程语言,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语言子集的面向几何的扩展"。

相关

  • 肝病肝病(英语:Hepatic disease、Liver disease)是指肝脏疾病,或是肝脏受损的症状。肝病种类超过一百种以上。症状包括黄疸及体重减轻。以下是一最常见的肝病:
  • 叶九条叶九条即叶剑英提出的“有关和平统一台湾的九条方针政策”,为中国大陆对台湾政策文件之一。1981年10月1日,中华人民共和国全国人民代表大会常务委员会委员长叶剑英向新华社记
  • 台南市立安南医院台南市立安南医院,简称安南医院(英语:Tainan Municipal An-Nan Hospital),位于台南市安南区长和路二段66号(原台南市市立仁爱之家)。为台南市政府为照顾北门地区民众就近就医权益BO
  • 楚天都市报《楚天都市报》是中国湖北省的一份都市小(开版)报,由湖北日报传媒集团主办,1996年11月20日试刊,1997年1月1日正式创刊。它与《楚天金报》(已停刊)、《武汉晚报》、《武汉晨报》并列
  • 逻辑符号表在逻辑中,经常使用一组符号来表达逻辑结构。因为逻辑学家非常熟悉这些符号,他们在使用的时候没有解释它们。所以,给学逻辑的人的下列表格,列出了最常用的符号、它们的名字、读法
  • 米伦蒂耶·波波维奇米伦蒂耶·波波维奇(希腊语:Μιλέντιε Πόποβιτς;塞尔维亚语:Милентије Поповић;塞尔维亚-克罗地亚语:;1913年7月7日-1971年5月8日),塞尔维亚族,是南斯
  • 昆冈昆冈(1836年-1907年),爱新觉罗氏,字子如,号筱峰,清朝正蓝旗宗室,光绪年间重臣,官至文渊阁大学士。和硕豫通亲王多铎七世孙。咸丰八年(1858年)中举人,同治元年(1862年)中壬戌科二甲进士,选庶
  • 乔丹·埃尔西乔丹·埃尔西(英语:Jordan Elsey,1994年3月2日-),澳大利亚足球运动员,司职中后卫,现效力澳大利亚职业足球联赛球队阿德莱德。
  • 潘希曾潘希曾(?-?),字仲鲁,浙江金华府金华县人,民籍,明朝政治人物。浙江乡试第十八名。弘治十五年(1502年)壬戌科第三甲第九十二名进士。改翰林院庶吉士,授兵科给事中,因发生灾异,上疏言八事,斥责
  • 安妮·哈瑟维 (莎士比亚之妻)安妮·哈瑟维(英语:Anne Hathaway,1556年-1623年8月6日)是威廉·莎士比亚的妻子,小时候认识莎士比亚。在莎士比亚十八岁时,和他结婚。后生一个女儿。