Mercury (编程语言)

✍ dations ◷ 2024-12-24 09:31:01 #Mercury (编程语言)

Mercury是为现实世界使用而开发的函数式逻辑编程语言。最初版本是墨尔本大学计算机科学系的Fergus Henderson、Thomas Conway和Zoltan Somogyi在Somogyi监督下完成的,并在1995年4月8日发行。

Mercury是纯声明式逻辑编程语言。它有关于Prolog和Haskell二者。它的特征是有强、静态、多态类型系统,和强的模态(mode)和确定性系统。

官方实现是墨尔本Mercury编译器,可以在多数Unix和类Unix平台上获得到,包括Linux、macOS和Windows。

下面是"Hello World"

相关

  • 提乌德鲍德提乌德鲍德(Theudebald 或 Theodebald,现代英语:Theobald,法语:Thibaud或Théodebald,德语:Theudowald;约535年–555),又译图德巴得,是提乌德贝尔特一世和Deuteria的儿子, 从547年或548
  • 墨粉墨粉或碳粉(toner)是激光打印机或复印机上用于使纸张着色的物质,主要成分为碳、氧化铁和树脂。墨粉由大小约为8-10微米的颗粒组成。
  • 小酒菜下酒小吃又称佐酒小吃,一般指喝酒时食用的小菜或小吃,古称酒肴、肴(保留在现代日语)、按酒(保留在现代韩语)。熟食则可称为下酒菜之意。一般用来调节喝酒时的口感,很少当主食作裹腹
  • 克里斯滕·费尔贝尔克里斯滕·费尔贝尔(Kristen Feilberg,1839年8月26日-1919年),早期丹麦摄影师,他拍摄的照片超过了丹麦的边界。1860年代至1890年代,费尔贝尔参加了到苏门答腊、新加坡和槟城的探险
  • 曼岛地理曼岛(曼岛语:)是位于西欧大不列颠岛和爱尔兰岛之间爱尔兰海上的一个岛屿,岛上有超过75,000名人口。曼岛的面积是572平方公里,相当于三个华盛顿特区的大小,但比圣卢西亚略小。曼岛
  • 法兰·德瑞雪法兰辛·乔伊·“法兰”·德瑞雪(Francine Joy "Fran" Drescher,1957年9月30日-),美国演员,活跃于90年代的美国女演员,以电视剧《天才保姆》知名。法兰出生于纽约皇后区Kew Gardens
  • 瘤颚家蚁属瘤颚家蚁属 ()为家蚁亚科。共 849 个现生物种,4 个化石物种。大多数物种具有触发式大颚 (trap-jaw)。瘤颚家蚁于土中、石下、木下、粪便下筑巢,群体小。 行社会寄生,没有工蚁阶级
  • 复乐园《复乐园》(英语:)是英格兰诗人约翰·弥尔顿写着的一首诗,1671年由John Macock初版。与《力士参孙(英语:Samson Agonistes)》出现在诗人的同一卷文献中。它与之前的著作《失乐园》
  • 格拉讷河坐标:52°09′07″N 7°37′46″E / 52.1519269°N 7.6294556°E / 52.1519269; 7.6294556格拉讷河(德语:Glane),是德国的河流,位于该国西部,处于北莱茵-威斯特法伦州,属于埃姆斯河
  • 爱丽丝·吉蒂勒爱丽丝·吉蒂勒夫人(英语:Dame Alice Kyteler;1263年-?,死亡时间晚于1325年),又被称为基尔肯尼女巫(英语:Witch of Kilkenny),是爱尔兰第一位被指控涉及巫术,且被宣判有罪的人。爱丽丝曾有过四段婚姻,而她的四任丈夫都在婚姻期间不幸死亡,这使她丈夫的孩子们指控她以下毒、施术的方式谋杀了他们。主教理查·德·雷里德为这起审巫案的主要推手,致力于将爱丽丝定罪。但和一般审巫案受害者不同的是,爱丽丝身为上层阶级,拥有能对主教进行反击的能力。爱丽丝·吉蒂勒最后仍被定罪,她逃离了