Mercury (编程语言)

维基百科,自由的百科全书
跳到导航 跳到搜索
Mercury
编程范型逻辑, 函数式, 面向对象
設計者Zoltan Somogyi
實作者墨尔本大学
发行时间1995年4月8日,​26年前​(1995-04-08
穩定版本
20.06.1
(2020年11月3日,​11個月前​(2020-11-03
型態系統强类型, 静态, 多态
實作語言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是为现实世界使用而开发的函数式逻辑编程语言。最初版本是墨尔本大学计算机科学系的Fergus Henderson、Thomas Conway和Zoltan Somogyi在Somogyi监督下完成的,并在1995年4月8日发行。

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

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

語法[编辑]

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).

引用[编辑]

外部链接[编辑]