Mercury语言

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

Mercury

编程范型	逻辑, 函数式, 面向对象
設計者	Zoltan Somogyi
實作者	墨尔本大学
发行时间	1995年4月8日，​28年前​（1995-04-08）
当前版本	22.01.06 (2023年4月19日)^[1]
型態系統	强类型, 静态, 多态
實作語言	Mercury
系统平台	IA-32, x86-64, ARM, Sparc64, Java, CLI, Erlang/OTP
操作系统	跨平台: Unix, Linux, macOS, Solaris, FreeBSD, OpenBSD, Windows, Android
許可證	GPL编译器, LGPL标准库
文件扩展名	.m
網站	www.mercurylang.org
主要實作產品
Melbourne Mercury Compiler
啟發語言
Prolog, Hope, Haskell

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

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

語法

Hello World 程序

下面是"Hello World"

:- module hello. :- interface. :- import_module io. :- pred main(io::di, io::uo) is det. :- implementation. main(!IO) :- io.write_string("世界，你好！\n", !IO). 

引用

1. Release 22.01.06. 2023年4月19日 [2023年6月5日]. 
2. The Mercury Project - Motivation. [2021-02-10]. （原始内容于2021-02-15）. 

外部链接

• 官方网站