跳转到内容

Mercury语言

维基百科,自由的百科全书
Mercury
编程范型逻辑, 函数式, 面向对象
设计者Zoltan Somogyi
实作者墨尔本大学
发行时间1995年4月8日,​29年前​(1995-04-08
当前版本
  • 22.01.8(2023年9月8日;稳定版本)[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是为现实世界使用而开发的函数式逻辑编程语言。最初版本是墨尔本大学计算机科学系的Fergus Henderson、Thomas Conway和Zoltan Somogyi在Somogyi监督下完成的,并在1995年4月8日发行。

Mercury是纯声明式逻辑编程语言。它有关于PrologHaskell二者[2]。它的特征是有强、静态、多态类型系统,和强的模态(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).

引用

  1. ^ Release 22.01.8. 2023年9月8日 [2023年9月18日]. 
  2. ^ The Mercury Project - Motivation. [2021-02-10]. (原始内容存档于2021-02-15). 

外部链接