Mercury (编程语言)

✍ dations ◷ 2025-09-11 10:36:21 #Mercury (编程语言)

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

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

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

下面是"Hello World"

相关

  • 听阈在物理学和医学中,听阈(英文:threshold of hearing)指人或其它动物的耳朵在特定环境中,能感觉到的声音的最小声压或声强。正常人耳对不同频率的声音,听阈都有所不同,当中 2 000 Hz
  • 满浦满浦市(朝鲜语:만포시/滿浦市 Manpho si */?)是朝鲜民主主义人民共和国慈江道北部的一个城市,满浦线经过,位于鸭绿江以南,与中华人民共和国吉林省集安市相望。1991年人口100,893
  • 美国司法部长美国司法部长(英语:United States Attorney General),或称美国总法务官,是美国司法部的首长,被认为是美国政府的首席法律顾问,职责是替美国政府处理法律事务及对美国法务部门进行监
  • 拉维尔斯坦《拉维尔斯坦》(英语:)是索尔·贝娄的最后一部小说,由维京出版社出版于2000年,当时索尔·贝娄已是85岁高龄。该书得到了广泛的好评。这部小说以回忆录形式写成,讲述了大学教授拉维
  • 彼得·安布鲁斯特彼得·安布鲁斯特(德语:Peter Armbruster,1931年7月25日-),德国物理学家,出生于巴伐利亚的达豪。在达姆施塔特的重离子研究协会(亥姆霍兹重离子研究中心)工作,他和Gottfried Münzenbe
  • 89号州际公路89号州际公路(Interstate 89,简称:I-89)是美国州际公路系统的一部分。西北始于佛蒙特州与加拿大魁北克省接壤的边境,东南至新罕布夏州康科德以南与93号州际公路和新罕布夏州州道3
  • 魔鬼走秀《魔鬼走秀》(韩语:데블스 런웨이)是韩国OnStyle的综艺节目,由韩惠珍、SooJoo主持。节目邀请来宾分队,进行TOP模特军团的残酷时尚赛事。
  • 武氏祠武氏祠,也称“武氏墓石祠”,位于山东省济宁市嘉祥县纸坊镇武翟山北麓,是东汉晚期武氏家族墓地的3座地面石结构祠堂及双阙的总称。其内的石刻以嘉祥武氏墓群石刻之名列入第一批全国重点文物保护单位。武梁祠,位于山东省嘉祥县武宅村,建于汉桓帝元嘉元年(151年)。该祠堂为单开间悬山顶石结构,由两面山墙、一面后墙和两个坡顶共五块石头组成,面阔2.41米,进深1.57米,高2.4米。画像布局采用分层分栏的形式,坡顶石上刻有祥瑞图;东西山墙的山尖部位刻有东王公、西王母及其仙庭;山墙上山尖以下的部分以及后墙分成四栏,分别刻有
  • 黎泽潮黎泽潮(1962年9月-),中华人民共和国安徽省东至县人,安徽师范大学传媒学院教授,安徽师范大学传媒学院硕士学位授权点负责人,安徽师范大学传媒学院原科研副院长。黎泽潮本科毕业于华东师范大学中文系,随后就被分配到安徽师范大学中文系任教,后来先后参与该校新闻学、广告学专业的创建,并被破格提拔为教授。2012年,黎泽潮在职获得安徽师范大学文学博士学位。他主要研究传播理论与实务、广告美学与批评、媒介经营与管理、公共关系等方向。2014年底,豆瓣网网友指出黎泽潮所作《〈因话录〉校笺》涉嫌大规模、低水平抄袭。黎泽潮的
  • 李向东李向东(1969年3月-),男,江苏建湖人,中国天体物理学家,现任南京大学天文与空间科学学院院长、教授,长江学者特聘教授,研究领域为X射线双星等。他参与制作的课程《宇宙简史》引起了广泛好评。1995年7月毕业于南京大学天文系,获理学博士学位,后留校任教。2016年任九三学社南京大学第三届委员会主任委员。2018年当选为第十二届江苏省政协委员。2018年起任南京大学天文与空间科学学院院长。