FL (编程语言)

✍ dations ◷ 2025-08-13 01:55:39 #函数级语言,学术的编程语言,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语言子集的面向几何的扩展"。

相关

甲硝唑甲硝唑（Metronidazole，MNZ），目前多以咪唑尼达（Flagyl）的商品名流通，是一种抗生素和抗原虫剂（英语：antiprotozoal medication）。常单独或和其他抗生素一起使用，作为治疗骨盆腔炎、心内膜
自动在线助手虚拟助理（virtual assistant）是一种能替个人执行任务或服务的软件代理（software agent）。有时候“聊天机器人”泛指虚拟助理，亦或专指网络聊天使用的软件机器人（有时候更专指娱乐
绝对压强压强，是作用在与物体表面垂直方向上的每单位面积的力（Force）的大小，即是分布在特定作用面上之力与该面积的比值。压强可用任意之力单位与面积单位进行测量，压强的国际标准单位为
寒衣节寒衣节，又称祭祖节、包袱节、十月朝、过十月一，是中国传统节日，流行于华北，为每年的农历十月初一，是民间祭祖的日子，相传祖灵会在本日回返人世，领取御寒衣物准备过冬，故人间除了祭祀
龙目岛龙目岛（印尼语：Pulau Lombok），是小巽他群岛中的一个岛屿，属印度尼西亚西努沙登加拉省管辖，该省首府马塔兰亦位于此岛西部。该岛东隔阿拉斯海峡与松巴哇岛相望，西隔龙目海峡与巴厘相
兰迪·卡浦尔兰迪·卡浦尔（印地语：रणधीर कपूर，英语：Randhir Kapoor，1947年2月15日－）是一位印度宝莱坞演员、电影制作人和导演。他是印度演员、导演拉兹·卡普尔的长子，与兄弟在孟买的冠
黄崇黄崇（?－263年），蜀汉故臣镇北将军黄权之子。昔日黄权在吴蜀夷陵之战后，投降曹魏。但黄崇仍然留在蜀中，后累官至尚书郎。魏灭蜀之战时，邓艾进军涪城及绵竹，诸葛瞻在涪城却步不前，黄崇多
安德烈·科罗塔耶夫安德烈·科罗塔耶夫（俄语：Андрей Витальевич Коротаев，1961年2月17日－），俄罗斯国立大学现代亚洲和非洲研究系主任、教授，俄罗斯科学院非洲研究所和东方研
松原刚志松原刚志（1979年1月2日－），是一名出身于日本东京都的男性歌手及演员。以前他是圆谷制作公司旗下的团体Project DMM创始成员，现在他是日本古伦美亚属下的Project.R成员之一。到了2
泓淋科技泓淋科技集团有限公司，简称泓淋科技集团，以及泓淋科技（英语：HL TECHNOLOGY GROUP LIMITED，港交所：1087），在1997年，由迟少林（董事长及首席执行官），于山东威海（总部）成立“威海市泓淋电子有