FL (编程语言)

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

相关

布兰戴斯大学布兰戴斯大学（英语：Brandeis University，/ˈbrændaɪs/），又称布兰迪斯大学，是美国第一所由犹太人成立、着重人文教育、非隶属任何教派的私立研究型大学。成立于1948年，位于马萨诸
十一酸十一酸（Undecylic acid），分子式CH3(CH2)9COOH。不饱和脂肪酸
小行星28978伊克西翁（英文：Ixion）是一柯伊伯带天体，于2001年5月22日被发现，小行星编号为28978，临时编号为2001 KX76。它与海王星的轨道共振为3:2，因此被分类为冥族小天体。虽然国际天文学联合
斯托克斯流斯托克斯流（英语：Stokes flow），又称为蠕动流（creeping flow），在流体力学中指黏性力远大于惯性力的流动，其名称源于爱尔兰物理学家乔治·斯托克斯。斯托克斯流的雷诺数十分小（
饮 (中医)饮是中医诊断学上的名词，指体内的液体运行输布失常，因而停留在体内某处所形成的病理产物。“饮”与痰性质相似，同为津液代谢障碍之病变，但状态不同，“痰”较为混浊粘稠而“饮”较
良十二世教宗良十二世（拉丁语：Leo PP. XII；1760年8月22日－1829年2月10日）原名阿尼巴莱·德拉-真加（Annibale della Genga），1823年9月28日当选罗马主教，同年10月5日即位至1829年2月10日为止。
豪雅豪雅（日语：HOYA／ホーヤ*/?）是源自日本的跨国光学仪器制造商，其名称来自其创业所在的东京都保谷市（现并入西东京市）。其产品涵盖光罩等半导体设备、储存装置、眼镜与隐形眼镜、光学
去中心化网络42去中心化网络 42（decentralized network 42，简称为 dn42，下略），是一个去中心化、端到端加密的网络，它通过使用 VPN 和软件／硬件的边界网关协议进行构建。一些暗网为接入者提供了匿
吉俊民吉俊民（1961年8月－），陕西乾县人，清华大学毕业后留校工作，2013年5月任清华大学副校长，兼任总务长，主要从事高等教育管理研究。
公园大道站 (蒙特利尔)公园大道站（英语：Park Avenue station），又名让塔隆站（英语：Jean-Talon station、法语：Gare Jean-Talon）是加拿大魁北克省蒙特利尔的一个历史性铁路车站建筑。其西端设有蒙特利尔地铁