FL (编程语言)

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

相关

  • 艾滋病病毒人类免疫缺陷病毒(英语:human immunodeficiency virus,簡稱HIV,又称艾滋病毒)是一种感染人类免疫系统细胞的慢病毒,属逆转录病毒的一种。普遍认为,人类免疫缺陷病毒的感染导致艾滋
  • 超中性子超中性子(英语:Neutralino),又译中性微子,是一种由超对称所预测的假想粒子。超中性子是费米子,且电荷为零,共有四种,最轻的超中性子一般是稳定的。它们的典型标记为
  • 云鲥云鲥为辐鳍鱼纲鲱形目鲱科的其中一种,分布于印度洋区,从波斯湾至缅甸海域、淡水、半咸水水域,栖息深度可达200米,体长可达60公分,栖息在沿海的洄游性鱼类,也会进入河流、河口区,主
  • MeshLabMeshLab是立体网状处理软件,自由软件,首先发布于2005年年底。此软件可管理面和处理大量的非结构化网格,并提供编辑、清理、修复及查核等功能,可对模型进行渲染及转换。MeshLab兼
  • 国际聚变材料放射测试设施国际聚变材料放射测试设施(International Fusion Material Irradiation Facility,缩写:IFMIF),是一项国际科学研究项目,目的是测试核聚变反应堆所用墙壁材料的可用性。IFMIF将使用
  • 侯维翰侯维翰(英语:Fred Ho,1957年8月10日-2014年4月12日),出生于加州,美国爵士萨克斯演唱家、作曲家、编曲家、作家和社会活动家。他活跃于非裔美国人和亚裔美国人音乐运动。2014年,他因
  • 野泽亘伸野泽亘伸(1968年9月21日-),日本摄影师和艺人,出身于栃木县,隶属太田制作。野泽毕业于上智大学法学部法律学科,随即入读日本摄影艺术専门学校(日语:日本写真芸術専門学校)。他在加入太
  • 山本凉介山本凉介(1995年5月15日-)是日本的演员、模特儿。出身自奈良县。隶属研音旗下。就读堀越高等学校。身高185cm。
  • 天主教卡利什教区天主教卡利什教区(拉丁语:Dioecesis Calissiensis;波兰语:Diecezja kaliska)是波兰一个罗马天主教教区。教座位于卡利什。教区属波兹南总教区。教宗若望保禄二世于1992年3月25日
  • 丹戎巴葛地铁站丹戎巴葛地铁站(英语:Tanjong Pagar MRT Station,代号EW15)是新加坡地铁东西线上的车站,位于新加坡本岛市中心规划区。