Mercury (编程语言)

✍ dations ◷ 2025-08-18 03:50:38 #Mercury (编程语言)

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

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

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

下面是"Hello World"

相关

茜草科见正文.mw-parser-output ruby.zy{text-align:justify;text-justify:none}.mw-parser-output ruby.zy>rp{user-select:none}.mw-parser-output ruby.zy>rt{font-feature-set
甲磺隆甲磺隆（英语：Metsulfuron-methyl）是一种磺酰脲类除草剂，用于除去阔叶杂草和一些一年生野草。甲磺隆是一种人工合成的有机化合物，具有叶片和土壤活性，能抑制嫩芽和根尖的细胞分裂。
爱因斯坦-波多尔斯基-罗森佯谬在量子力学里，爱因斯坦-波多尔斯基-罗森佯谬（英语：Einstein-Podolsky-Rosen paradox），简称“爱波罗佯谬”、“EPR佯谬”（EPR paradox）等，是阿尔伯特·爱因斯坦、鲍里斯·波多尔斯基
藤异秀明藤异秀明（1977年12月12日－），日本男性漫画家，出生于宫崎县，笔下的漫画角色站立姿势都有出现向JOJO冒险野郎的JoJo站姿的致敬意味，代表作是《真·女神转生恶魔之子》，其笔名藤异秀明
王彦 (明朝宦官)王彦（？年－？年），原名王狗儿，明朝宦官，明成祖朱棣赐名王彦，明朝永乐时期的尚宝监太监。王彦是松花江的建州女真人，父亲萨理蛮率部属归附明太祖，从征有功。王彦为燕王朱棣侍从的府邸，后来跟
天野实咲天野実咲（日语：天野実咲，1985年4月22日－），日本足球运动员，日本国家女子足球队成员。她曾代表日本参加2007年国际足联女子世界杯。
五维空间五维空间是一个包含五个维度的空间。以物理学的角度来说，五维空间的维度比日常生活中所提到的三维空间以及相对论中的四维时空还要多。五维空间是一种经常在数学中出现的抽
热带森林热带森林是位于热带的森林，大致位于北回归线与南回归线之间。有些树林很难被确定为热带森林。虽然温带地区的森林很容易根据树冠密度进行区分，但这种方法并不适用于热带森林。
达尼罗·莫雷拉·塞拉诺达尼罗·莫雷拉·塞拉诺（Danilo Moreira Serrano）一般称作达尼罗，1980年8月19日生于普雷图河畔圣若泽，巴西职业足球运动员。
绵勋散秩大臣（道光十八年～？年）镶蓝旗蒙古副都统（道光二十年～二十二年，道光二十五年～？年）右翼近支族长（道光二十五年～？年）宗人府右宗人（道光二十八年～三十年）宗人府左宗人（道光三十年～咸丰十年）正黄旗护军统领（道光三十年～？年）正黄旗满洲副都统（咸丰元年～十年）右翼总兵（咸丰元年～三年）右翼前锋统领（咸丰三年～十年）正白旗领侍卫内大臣（咸丰十一年～？年）贝子绵勋（满语：ᠮᡳᠶᠠᠨ ᡥᡳᠶᡡᠨ，穆麟德转写：；1817年2月5日－1893年12月20日），追封贝子永松第二子，母侧室兆氏，其父为兆阿林，�亲王系