Mercury
Mercury - A fast, strongly-typed logic-functional language
Mercury combines logic programming with functional-style purity and strong static analysis to enable robust, high-performance applications.
Category
Programming / Logic & Functional
First Release
1995
File Extension
.m
Creator
University of Melbourne researchers (Fergus Henderson, Thomas Conway, Zoltan Somogyi)
Latest News
No news articles found for this language.
Difficulty
Advanced 3/3
Advanced type and mode systems, determinism handling, and integrating logic with functional concepts require substantial study.