r/mercury

129 archived posts · Aug 2011 – Aug 2022

functional logic: the mercury programming language

r/mercury

Archived posts from r/mercury, Aug 2011 to Aug 2022.

Created Aug 27, 2011 · restricted

420Members (last snapshot)

129Archived posts

Mercury is a programming language developed at the University of Melbourne. For the planet, see r/PlanetMercury.

Mercury integrates the logic programming concepts introduced by Prolog with functional programming idioms and achieves markedly better performance than Prolog (comparable to OCaml) thanks to an advanced type system. It compiles to C as an intermediate language and can interface with C programs with little overhead.

the mercury homepage
mercury-users mailing list archive
Stack Overflow questions about Mercury

Other communities

Reddit Rebuilt is an independent, non-commercial archive and is not affiliated with Reddit, Inc. Content belongs to its original authors.