Mercury (编程语言)
Mercury是为现实世界使用而开发的函数式逻辑编程语言。最初版本是墨尔本大学计算机科学系的Fergus Henderson、Thomas Conway和Zoltan Somogyi在Somogyi监督下完成的，并在1995年4月8日发行。
| 逻辑, 函数式, 面向对象 | |
| 設計者 | Zoltan Somogyi |
| 實作者 | 墨尔本大学 |
| 1995年4月8日 | |
| 穩定版本 | 20.06.1
（2020年11月3日
） |
| 型態系統 | 强类型, 静态, 多态 |
| 實作語言 | Mercury |
| 系统平台 | IA-32, x86-64, ARM, Sparc64, Java, CLI, Erlang/OTP |
| 作業系統 | 跨平台: Unix, Linux, macOS, Solaris, FreeBSD, OpenBSD, Windows, Android |
| 許可證 | GPL编译器, LGPL标准库 |
| 文件扩展名 | .m |
| 網站 | www |
| 主要實作產品 | |
| Melbourne Mercury Compiler | |
| 啟發語言 | |
| Prolog, Hope, Haskell | |
Mercury是纯声明式逻辑编程语言。它有关于Prolog和Haskell二者[1]。它的特征是有强、静态、多态类型系统，和强的模态（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).
外部链接
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.