Loading AI tools
来自维基百科,自由的百科全书
Mercury是為現實世界使用而開發的函數式邏輯編程語言。最初版本是墨爾本大學計算機科學系的Fergus Henderson、Thomas Conway和Zoltan Somogyi在Somogyi監督下完成的,並在1995年4月8日發行。
編程範型 | 邏輯, 函數式, 物件導向 |
---|---|
設計者 | Zoltan Somogyi |
實作者 | 墨爾本大學 |
面市時間 | 1995年4月8日 |
當前版本 |
|
型態系統 | 強類型, 靜態, 多態 |
實作語言 | 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二者[2]。它的特徵是有強、靜態、多態類型系統,和強的模態(mode)和確定性系統。
官方實現是墨爾本Mercury編譯器,可以在多數Unix和類Unix平台上獲得到,包括Linux、macOS和Windows。
下面是"Hello World"
:- module hello.
:- interface.
:- import_module io.
:- pred main(io::di, io::uo) is det.
:- implementation.
main(!IO) :-
io.write_string("世界,你好!\n", !IO).
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.