Mercury (programming language)
Functional logic programming language / From Wikipedia, the free encyclopedia
Dear Wikiwand AI, let's keep it short by simply answering these key questions:
Can you list the top facts and stats about Mercury (programming language)?
Summarize this article for a 10 year old
Mercury is a functional logic programming language made for real-world uses. The first version was developed at the University of Melbourne, Computer Science department, by Fergus Henderson, Thomas Conway, and Zoltan Somogyi, under Somogyi's supervision, and released on April 8, 1995.
Paradigm | Logic, functional, object-oriented[citation needed] |
---|---|
Designed by | Zoltan Somogyi |
Developer | University of Melbourne |
First appeared | April 8, 1995; 29 years ago (1995-04-08) |
Stable release | |
Typing discipline | Strong, static, polymorphic |
Implementation language | Mercury |
Platform | IA-32, x86-64, Arm, Sparc64, Java, CLI |
OS | Cross-platform: Unix, Linux, macOS, Solaris, FreeBSD, OpenBSD, Windows, Android |
License | GPL compiler, LGPL standard library |
Filename extensions | .m |
Website | www |
Major implementations | |
Melbourne Mercury Compiler | |
Influenced by | |
Prolog, Hope, Haskell |
Mercury is a purely declarative logic programming language. It is related to both Prolog and Haskell.[2] It features a strong, static, polymorphic type system, and a strong mode and determinism system.
The official implementation, the Melbourne Mercury Compiler, is available for most Unix and Unix-like platforms, including Linux, macOS, and for Windows.