Mercury (编程语言)

✍ dations ◷ 2025-10-24 21:39:35 #Mercury (编程语言)

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

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

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

下面是"Hello World"

相关

  • RNA编辑核糖核酸编辑(英语:RNA editing),缩写为RNA编辑,是指一种在核糖核酸(RNA)由聚合酶生成之后其转录自脱氧核糖核酸(DNA)的核酸序列又发生改变的分子生物学过程。和其它转录后修饰方式(如
  • 挪动门柱歧义谬误是由于语言歧义导致无效推理的现象,是一种言词谬误。歧义是一个字词或语句可理解为多种意思的现象。歧义容易造成误解与误会,比如某甲用某语句想表达 A 意思,某乙却理
  • 宝龙街道宝龙街道中华人民共和国广东省深圳市龙岗区下辖的一个街道办事处,名称取自街道内主要道路——宝龙路,下辖宝龙、南约、同乐等共7个社区。该街道主要产业有电气机械及器材制造
  • 希尔斯伯勒县希尔斯伯勒县(英语:Hillsborough County)是美国新罕布什尔州南部的一个县,南邻马萨诸塞州,面积2,311平方公里。根据2010年人口普查,本县共有人口400,721,是州中,以至新英格兰北部人
  • 庞巴迪宇航庞巴迪航天(英语:Bombardier Aerospace)是加拿大庞巴迪公司的子公司。庞巴迪宇航公司创立于1986年,其前身为加拿大史上亏损最严重的公司——国营飞机制造商加拿大飞机公司(英语:Ca
  • 武双山正士武双山正士,(1972年2月14日-),本名尾曾武人(尾曽 武人),日本茨城县水户市出身(生于常陆那珂市)的前大相扑力士(最高位置是东大关)。他所属的相扑部屋是武藏川部屋。他身高184cm、体重
  • 瑞秋·麦克亚当斯瑞秋·安妮·麦克亚当斯(英语:Rachel Anne McAdams,1978年11月17日-),是一名加拿大女演员和活动家,约克大学校友。从约克大学毕业后,她于加拿大从事影视事业,参与了《Perfect Pie》的
  • 苏羽苏羽(1918年-1989年),曾用名吉学武、吉小苏,男,河南沁阳人,中华人民共和国政治人物,曾任安徽省人民政府副省长,安徽省人大常委会副主任。
  • 格利泽876b格利泽876b是一颗位于宝瓶座、距离地球约15光年的系外行星,其母星为红矮星格利泽876,轨道周期为60.940地球日。科学家于1998年6月发现该行星,它是首颗被发现环绕红矮星运行的系外行星。格利泽876b位于格利泽876行星系的最外层。格利泽876b是由两只团队分别发现的,其中一支由杰佛瑞·马西所领导(其观测数据来自凯克天文台和利克天文台),另外一支由泽维尔·佛希所领导(观测点为日内瓦天文台)。和大部分已知系外行星一样,科学家是通过探测由行星引起的恒星视向速度的变化来确定该行星的存在——也即通过探测格
  • 何塞·路易斯·巴列斯特尔何塞·路易斯·巴列斯特尔(西班牙语:José Luis Ballester,1968年8月17日-),西班牙男子帆船运动员。他曾代表西班牙参加1992年、1996年和2000年夏季奥林匹克运动会帆船比赛,其中1996年奥运会获得一枚金牌。