FL (编程语言)

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

相关

大波士顿区大波士顿是指马萨诸塞州紧靠波士顿的地区。都会区总人口约440万，列美国第11位。人口普查办公室按照美国行政管理和预算局的基于核心的统计区域（英语：Core Based Statistical Ar
皮卡皮卡（英语：Pickup Truck），业界称为轻便客货两用车或是货卡，通常指带开放式载货区的轻型卡车，一般车身外形可以明显的分成发动机舱、驾驶室和货舱三段，也有部分车款发动机是在驾驶室
ATC代码 (B01)A·B·C·D·G·H·QI·J·L·M·N·P·R·S·VATC代码B01（Antithrombotic agents）是解剖学治疗学及化学分类系统的一个药物分组，这是由世界卫生组织药物统计方法整合中心（The W
变化变化，改变和流动的性质，作为一个概念有着交错的历史。在古希腊哲学中，赫拉克利特把变化视为无所不在无所不包的，巴门尼德则基本上否定了变化的存在。即使意在进行改变，毫无意外且
绿翅灰斑鸭绿翅灰斑鸭（）是一种长44-46厘米的钻水鸭，栖息在撒哈拉以南非洲的辽阔湿地。绿翅灰斑是候鸟，但只跟随雨水而迁徙。雌鸭及雄鸭相似。它们非常淡色，主要呈灰色，背部褐色，喙是粉红色的
库淑兰库淑兰（1920年3月31日－2004年12月19日），陕西旬邑县人，自称“剪花娘子”；中国当代著名剪纸艺人；曾被联合国教科文组织授予“中国民间工艺美术大师”称号。2004年12月19日，因肺结核
丹尼尔·塔曼特丹尼尔·谭米特（英语：Daniel Tammet，1979年1月31日－）是一位因患有学者综合症而拥有超常智力的英国作家，有“脑人”（Brain Man）之称。他是迄今为止唯一一位能够正常交流并把他脑中信
金炳地金炳地（韩语：김병지，1830年－1888年），字伯灵（백령），本贯安东金氏，是朝鲜王朝末年的权臣之一。他在朝鲜哲宗5年（1854年）庭试丙科10及第。曾任奎章阁检校直提学知制教。
列支敦士登的塔缇亚娜列支敦士登的塔缇亚娜（德语：Tatjana von und zu Liechtenstein，1973年4月10日－），列支敦士登亲王汉斯·亚当二世的独女。1999年，塔缇亚娜与马提亚斯·菲利普·冯·拉托尔夫（Matthias
钏路渔人码头MOO坐标：42°58′54.3″N 144°23′0.6″E / 42.981750°N 144.383500°E / 42.981750; 144.383500钏路渔人码头MOO（日文：釧路フィッシャーマンズワーフMOO）是位于日本北海道钏路市