肯特递归计算器

✍ dations ◷ 2025-11-16 21:43:56 #肯特递归计算器

KRC（Kent Recursive Calculator：肯特递归计算器）是一种惰性的纯函数式编程语言，由David Turner（英语：David Turner (computer scientist)）在1979年11月至1981年10月期间开发，基于了SASL，具有模式匹配、守卫和ZF表达式（现在通常叫做列表推导式）。KRC有两种主要实现：David Turner的最初实现用BCPL写成并运行于EMAS（英语：Edinburgh Multiple Access System），Simon J. Croft的后来实现用C写成并运行于Unix。KRC在1982年至1985年期间是在坎特伯雷的肯特大学用于教授函数式编程的主要语言。

KRC的直接后继者是Miranda，它包括了基于Milner的ML的一种多态类型规矩。

相关

生殖器生殖器官是指在复杂生物体上任何与有性繁殖及组成生殖系统有关的组织（严格意义上，不一定都属于器官）。另外有相关的性器官一词，广义地说是指会带来性快感的器官。生殖腺是指产生
KBE最优秀的大英帝国勋章（英语：Most Excellent Order of the British Empire），简称大英帝国勋章（Order of the British Empire），或译为不列颠帝国勋章，是英国授勋及嘉奖制度中的一种骑
EmeseneEmesene 是一个用PyGTK写的MSN客户端，其目的是要创建一个和官方的 Live Messenger 接口相似的软件而又维持着清爽的接口。细心看一下 Emesene 就会发现它是由英文字母 "e" 分
唐纳德·贾德唐纳德·贾德（英语：Donald Judd、1928年6月3日－1994年2月12日）是美国的一名极简主义艺术家。他在作品中探索物体和其创造的空间的自主权和本质，追求没有层次的极自然展现。虽然他
成秋明成秋明（1960年3月－），山西太谷人，中国数学地质、矿产普查与勘探专家，中国地质大学（北京）教授，教育部长江学者特聘教授。2019年当选为中国科学院院士。1978年10月考入河北地质学院（现河
卡斯特尔山坐标：46°25′20″N 8°27′27″E / 46.422259°N 8.457548°E / 46.422259; 8.457548卡斯特尔山（意大利语：Punta del Castel），是中欧的山峰，位于意大利和瑞士接壤的边境，属于提契
诺森布里亚王国诺森布里亚王国（英语：Kingdom of Northumbria，古英语：Norþanhymbra Rīċe，拉丁语：Regnum Northanhymbrorum)）是盎格鲁人建立的盎格鲁-撒克逊王国，最初由两个在公元500年左右时建立的独立小王国组成：一个是伯尼西亚，领土包括今天的英格兰北部和苏格兰东南部；另一个是德伊勒，领土包括今天英格兰的约克郡的北部和东部地区。两国以蒂斯河为界。现存的一些稀少的史料记载道，6世纪中叶时，伯尼西亚的国王为伊达，德伊勒的国王为埃拉。“诺森布里亚”这个名称是从古英语N
624年
伊莉娜·费蒂索娃伊莉娜·费蒂索娃（英语：Irina Fetisova，1994年9月7日－），俄罗斯女子排球运动员，场上司职副攻，俄罗斯国家女子排球队成员。费蒂索娃在2014年起正式于俄罗斯国家队效力，并参加了2014年瑞士女排精英赛及世界女排大奖赛（2014 年、2015 年、2016 年），2015年欧洲女排锦标赛，2014年及2018年世界女子排球锦标赛，2015年及2019年女子排球世界杯，2016年里约奥运会及2020年东京奥运会等。在俱乐部层面，曾效力于列宁格勒卡和扎雷奇·奥金佐沃，于2015年起转会至莫斯
奥地利的艾蕾诺尔 (1653-1697)埃莉诺·玛丽亚·约瑟法·冯·哈布斯堡（波兰语：Eleonore Maria Josefa von Habsburg-Österreich，1653年5月21日－1697年12月17日），又称为奥地利的埃莉诺，波兰王后（英语：Eleanor of Austria, Queen of Poland），是神圣罗马帝国皇帝斐迪南三世的女儿，奥地利大公、神圣罗马帝国皇帝利奥波德一世的妹妹，后嫁入波兰成为波兰立陶宛联邦国王米哈乌的王后。她和第二任丈夫洛林公爵夏尔育有两子也是日后神圣罗马皇帝弗朗茨一世的祖母。