热门问题
时间线
聊天
视角

Mercury语言

来自维基百科,自由的百科全书

Remove ads

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

事实速览 编程范型, 设计者 ...

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

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

Remove ads

语法

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

引用

外部链接

Loading content...
Loading related searches...

Wikiwand - on

Seamless Wikipedia browsing. On steroids.

Remove ads