Mercury (编程语言)

✍ dations ◷ 2025-02-27 02:34:53 #Mercury (编程语言)

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

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

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

下面是"Hello World"

相关

石门十八王公庙十八王公庙可以指下列有应公庙：
突尼斯第纳尔第纳尔（阿拉伯语: دينار ，货币编号: TND）是突尼斯的流通货币。辅币单位米利姆。1第纳尔=1000米利姆。
突厥化突厥化，是指一个民族被迫或自愿放弃自身的语言、文化和身份认同并与突厥人同化的过程。在历史上，突厥化曾发生在中亚、东欧和安纳托利亚半岛不同的民族身上，包括阿尔巴尼亚人、
Pusheen胖吉猫（英语：Pusheen）又称胖吉喵，是美国插画师克莱儿．贝尔顿（英语：Claire Belton）根据她领养的猫咪（现在与克莱儿（英语：Claire Belton）的父母生活在一起）所设计出的角色，是一只灰色大花猫，
荷兰国旗荷兰国旗呈长方形，由三条水平色带组成，由上至下的颜色为红、白、蓝，是现存最古老的三色旗。其中红色代表勇气，白色代表祝福及庇佑，蓝色代表对祖国的忠诚。荷兰曾受西班牙统治，于16
河流形态学河流形态学（River morphology）及其同义的河流作用地貌学（fluvial geomorphology）都在描述河流的形状及其随时间的变化。河流的形态是许多作用及环境条件下的结果，包括河床及河岸
宁河区宁河区是中国天津市下辖的一个市辖区。区人民政府驻芦台镇。据陈铁卿《河北省县名考原》称：“蓟运河纵贯县境，时多水患，故县以宁河名。”清雍正九年（1731年）建始宁河县，隶属顺天府
维基百科校园版维基百科校园版（英语：Wikipedia for Schools），前身是维基百科精选光碟（英语：Wikipedia CD Selection），是一张结合维基百科上最优质条目的数码多功能影音光碟，于2006年4月首次推出，2013
安托万·加朗安托万·加朗（法语：Antoine Galland，1646年4月4日－1715年2月17日）是一位法国东方学家、翻译家与考古学家，是第一位将阿拉伯文学作品《一千零一夜》翻译成欧洲语言的人。对欧洲的文
滇东龙属滇东龙属（学名：）是种已灭绝海生爬行动物，是鳍龙超目的一属，化石被发现于中国云南省罗平县的关岭组上段，地质年代属于三叠纪中期的安尼西阶。正模标本（编号IVPP V 17761）是一个完整、