FL (编程语言)

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

相关

红露酒红麹酒，是一种以红麹米和糯米为主要原料酿制成的粮食酒，为中国特产。红麹米虽然具备一定的糖化和发酵能力，却不足以单独产出高浓度的酒，因此自古以来，红麹酒需另加酒曲来拟补。把
角川多玩国与Dwango总部同地址角川多玩国株式会社（日语：カドカワ株式会社，英语：KADOKAWA DWANGO CORPORATION）是日本一家从事控股及出版的媒体企业，由KADOKAWA与Dwango于2014年10月1日共同出
爱德华·格里格爱德华·哈盖鲁普·格里格（挪威语：Edvard Hagerup Grieg，1843年6月15日－1907年9月4日），挪威作曲家，浪漫主义音乐时期的重要作曲家之一。爱德华·格里格出生于卑尔根，祖先是苏格兰人，
尼古拉·米哈伊洛维奇·什维尔尼克尼古拉·米哈伊洛维奇·什维尔尼克（俄语：Никола́й Миха́йлович Шве́рник，1888年5月19日－1970年12月24日）苏联政治人物，自1946年3月19日至1953年3月15
大弹涂鱼大弹涂鱼（学名：）为虾虎鱼科大弹涂鱼属的鱼类，俗名花跳（台湾话：.mw-parser-output .sans-serif{font-family:-apple-system,BlinkMacSystemFont,"Segoe UI",Roboto,Lato,"Helvetica
四甲基锆四甲基锆是一种有机锆化合物，化学式为(CH3)4Zr。它可由升华的四氯化锆溶于2:3乙醚/甲苯，回流后冷却至−78 °C与化学计量比的甲基锂乙醚溶液混合，升温至−45 °C反应得到。甲基
甘迪格拉姆甘迪格拉姆（Gandhigram），是印度特里普拉邦West Tripura县的一个城镇。总人口10666（2001年）。该地2001年总人口10666人，其中男性5661人，女性5005人；0—6岁人口1134人，其中男604人，女530
山田昌弘山田昌弘（1957年11月30日－）是一名知名的日本社会学家、文案，学术专攻为家族社会学、感情社会学和性别理论。曾经担任东京学艺大学文学部教授，现任中央大学文学部教授。
路易吉·登扎路易吉·登扎（意大利语：Luigi Denza，1846年2月24日－1922年1月27日），意大利作曲家、音乐教师。1846年2月24日出生于意大利斯塔比亚海堡，靠近那不勒斯。他毕业于那不勒斯音乐学院，在Sa
冰栗优冰栗优（10月16日－），日本漫画家。大阪市出身。代表作是《禁断毒天使》。