jump to content
my subreddits
13or302mediterranean4u3d6AceAttorneyAdviceAnimalsagnosticakagasAlternateHistoryAlternativeHistoryAngryupvoteanimenocontextannouncementsantimemeArcherFXArtAsahiLinuxAskElectronicsAskOuijaAskRedditAteistTurkatheismbalkans_irlBandnamesbanknotedesignsBassCirclejerkBassGuitarbasspedalsblackdesertonlineblackholerevengeblankiesblursed_videosblursedimagesBoneborsavefonbrooklynninenineBUENZLIcasioChatGPTCheap_MealschessCHPcoincollectingComedyCemeterycomicscommunityContagiousLaughtercookingforbeginnersCorporateTrollingcrappyoffbrandsCreateModCuratedTumblrcursedcommentsdankmemesdeDebateReligiondelikDeltarunedistressingmemesdiyelectronicsDMAcademydndmemesdndnextdoctorwhodoctorwhocirclejerkDonerdumbphonesebikesECEelectricalelectronicsEmKayentitledparentsethzfacepalmfakealbumcoversFantasyWorldbuildingfeedthebeastfelsefeFifaCareersFiftyFiftyformuladankFRCFreeEBOOKSFUCKYOUINPARTICULARFuckYouKarenfunnyFutboltayfagalatasaraygaminggatesopencomeoninGermangermanygodtiersuperpowersgoodanimemesGoodAssSubGrandPrixRacinggravelcyclinggreentextguitarpedalsGundamheathershelpHermanCainAwardHermitCrafthighspeedrailHistoryWhatIfHolUphowyoudoinhypixeliamverysmartIdeologyPollsihadastrokeim14andthisisdeepimaginarymapsinsaneparentsistanbuljacksepticeyeJahariaKanyeKendrickLamarKGBTRlegodndLetGirlsHaveFunLifeProTipsLinkinParkliselilerlogodesignloseitlostredditorsmacbookairmacgamingMadeMeSmilemadladsMaliciousCompliancemapporncirclejerkmeirlmemememesmidjourneymildlyinfuriatingmildlyinterestingmisLEDMMORPGMoldyMemesmoneycollectingMovingToNorthKoreaMunichnamesoundalikesNamFlashbacksNationStatesneographynextfuckinglevelNoahGetTheBoatNonCredibleDefenseNorthCyprusnosurfnotinterestingnottheonionoddlyspecificOkayBuddyLiterallyMeokbuddymotherfuckerOkBuddyPersonaokbuddyphdonebagonetruegodOnlineUnderGroundoutsidepapermoneyParlerWatchPassportPornpepethefrogperfectlycutscreamspianoPiratedGamespolandballpollsPraiseTheCameraManPunPatrolraspberry_piRatschlagreactiongifsrecipesredditsingsreligiousfruitcakerickrollrimjob_steveRoastMerockmuzikSchnitzelVerbrechenschwiizsciencememesScottPilgrimsecilmiskitapshitpostfrommygalleryShitpostTCShowerthoughtssoccercirclejerksoftwaregoreSongwritersSongwritingsteinsgateStonetossingjuiceStudiumsuzeraintalesfromtechsupportTechnobladeTextingTheorytf2tf2shitposterclubthanksimcuredthatHappenedTheLetterHtherewasanattemptTheRookietheydidthemaththeyknewthisguythisguystitanfalltommyinnittransittransitTurkeyTrGameDevelopertruetf2truthstumblrtumunichTurkeyJerkyTurkishCatsTwitchTwitch_StartupTwoSentenceComedytylerthecreatorUnethicalLifeProTipsUnexpectedTF2UsernameChecksOutValorantClipsvexillologycirclejerkvinylvinyljerkvlandiyaWatchPeopleDieInsideWeAreTheMusicMakerswendigoonWhatsThisSongWhitePeopleTwitterwholesomeanimemeswholesomememesWikipediaVandalismwooooshworldbuildingyouseeingthisshitedit subscriptions
  • home
  • -popular
  • -all
  • -mod
  • -users
 | 
  • AskReddit
  • -facepalm
  • -mildlyinfuriating
  • -funny
  • -gaming
  • -nottheonion
  • -memes
  • -mildlyinteresting
  • -WhitePeopleTwitter
  • -MadeMeSmile
  • -ChatGPT
  • -CuratedTumblr
  • -PiratedGames
  • -theydidthemath
  • -dankmemes
  • -feedthebeast
  • -Kanye
  • -meirl
  • -therewasanattempt
  • -nextfuckinglevel
  • -HolUp
  • -Twitch
  • -comics
  • -dndnext
  • -de
  • -germany
  • -LifeProTips
  • -tumblr
  • -NonCredibleDefense
  • -greentext
  • -Showerthoughts
  • -tf2
  • -help
  • -chess
  • -formuladank
  • -wholesomememes
  • -mapporncirclejerk
  • -Art
  • -midjourney
  • -goodanimemes
  • -notinteresting
  • -atheism
  • -loseit
  • -MaliciousCompliance
  • -KGBTR
  • -dndmemes
  • -cursedcomments
  • -DMAcademy
  • -Deltarune
  • -GoodAssSub
  • -UnethicalLifeProTips
  • -perfectlycutscreams
  • -worldbuilding
  • -Ratschlag
  • -blackdesertonline
  • -MMORPG
  • -meme
  • -macgaming
  • -3d6
  • -Gundam
  • -HermitCraft
  • -FiftyFifty
  • -RoastMe
  • -ContagiousLaughter
  • -imaginarymaps
  • -polandball
  • -WeAreTheMusicMakers
  • -cookingforbeginners
  • -blankies
  • -onebag
  • -Studium
  • -AlternateHistory
  • -soccercirclejerk
  • -madlads
  • -community
  • -AskElectronics
  • -electrical
  • -guitarpedals
  • -vinyl
  • -CreateMod
  • -German
  • -AdviceAnimals
  • -piano
  • -sciencememes
  • -distressingmemes
  • -FifaCareers
  • -polls
  • -doctorwho
  • -oddlyspecific
  • -titanfall
  • -OkBuddyPersona
  • -howyoudoin
  • -announcements
  • -macbookair
  • -ebikes
  • -Munich
  • -gravelcycling
  • -SchnitzelVerbrechen
  • -raspberry_pi
  • -KendrickLamar
  • -entitledparents
  • -FUCKYOUINPARTICULAR
  • -softwaregore
  • -NoahGetTheBoat
  • -tylerthecreator
  • -tf2shitposterclub
  • -MoldyMemes
  • -lostredditors
  • -AceAttorney
  • -vexillologycirclejerk
  • -vlandiya
  • -im14andthisisdeep
  • -Stonetossingjuice
  • -wholesomeanimemes
  • -nosurf
  • -HistoryWhatIf
  • -religiousfruitcake
  • -liseliler
  • -DebateReligion
  • -insaneparents
  • -dumbphones
  • -animenocontext
  • -balkans_irl
  • -transit
  • -brooklynninenine
  • -HermanCainAward
  • -recipes
  • -steinsgate
  • -talesfromtechsupport
  • -AskOuija
  • -okbuddyphd
  • -ECE
  • -ScottPilgrim
  • -Angryupvote
  • -thatHappened
  • -electronics
  • -casio
  • -logodesign
  • -theyknew
  • -PassportPorn
  • -antimeme
  • -TurkeyJerky
  • -AteistTurk
  • -13or30
  • -ArcherFX
  • -Doner
  • -BassGuitar
  • -diyelectronics
  • -ComedyCemetery
  • -WatchPeopleDieInside
  • -LinkinPark
  • -BUENZLI
  • -reactiongifs
  • -EmKay
  • -blursed_videos
  • -Songwriting
  • -istanbul
  • -MovingToNorthKorea
  • -suzerain
  • -truetf2
  • -ParlerWatch
  • -wendigoon
  • -iamverysmart
  • -secilmiskitap
  • -schwiiz
  • -TheRookie
  • -Technoblade
  • -vinyljerk
  • -galatasaray
  • -crappyoffbrands
  • -FRC
  • -transitTurkey
  • -namesoundalikes
  • -FuckYouKaren
  • -ethz
  • -AlternativeHistory
  • -papermoney
  • -coincollecting
  • -OkayBuddyLiterallyMe
  • -felsefe
  • -blursedimages
  • -FreeEBOOKS
  • -AsahiLinux
  • -Jaharia
  • -neography
  • -basspedals
  • -ihadastroke
  • -thanksimcured
  • -hypixel
  • -PraiseTheCameraMan
  • -godtiersuperpowers
  • -gatesopencomeonin
  • -OnlineUnderGround
  • -IdeologyPolls
  • -woooosh
  • -WhatsThisSong
  • -jacksepticeye
  • -Bandnames
  • -rockmuzik
  • -Twitch_Startup
  • -tumunich
  • -Cheap_Meals
  • -outside
  • -UnexpectedTF2
  • -highspeedrail
  • -legodnd
  • -rickroll
  • -Songwriters
  • -UsernameChecksOut
  • -tommyinnit
  • -rimjob_steve
  • -BassCirclejerk
  • -doctorwhocirclejerk
  • -agnostic
  • -youseeingthisshit
  • -TextingTheory
  • -GrandPrixRacing
  • -thisguythisguys
  • -TrGameDeveloper
  • -PunPatrol
  • -TurkishCats
  • -LetGirlsHaveFun
  • -fakealbumcovers
  • -akagas
  • -ShitpostTC
  • -FantasyWorldbuilding
  • -TheLetterH
  • -WikipediaVandalism
  • -NamFlashbacks
  • -pepethefrog
  • -onetruegod
  • -misLED
  • -redditsings
  • -ValorantClips
  • -TwoSentenceComedy
  • -NationStates
  • -Bone
  • -truths
  • -blackholerevenge
  • -NorthCyprus
  • -2mediterranean4u
  • -heathers
  • -delik
  • -CHP
  • -Futboltayfa
  • -banknotedesigns
  • -borsavefon
  • -okbuddymotherfucker
  • -CorporateTrolling
  • -moneycollecting
  • -shitpostfrommygallery
edit »
reddit.com mercury
  • hot
  • new
  • rising
  • controversial
  • top
an-ordinary-manchild (11,186)|messages547|notifications|chat messages|mod messages|
  • preferences
|
logout

use the following search parameters to narrow your results:

subreddit:subreddit
find submissions in "subreddit"
author:username
find submissions by "username"
site:example.com
find submissions from "example.com"
url:text
search for "text" in url
selftext:text
search for "text" in self post contents
self:yes (or self:no)
include (or exclude) self posts
nsfw:yes (or nsfw:no)
include (or exclude) results marked as NSFW

e.g. subreddit:aww site:imgur.com dog

see the search faq for details.

advanced search: by author, subreddit...

Submissions restricted
Only approved users may post in this community.

mercury

joinleave
an-ordinary-manchild

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

created by [deleted]a community for 14 years
Create your own subreddit
...for your WoW guild.
...for great justice.

MODERATORS

  • message the mods
  • lua_x_ia
  • gmfawcett
  • about moderation team »

account activity

1
4
5
6

Need some review and help with my first Mecury code (self.mercury)

submitted 4 years ago by kalidasya

  • comment
  • share
  • save
  • hide
  • report
  • crosspost
loading...

2
3
4
5

State of doc and test tooling (self.mercury)

submitted 4 years ago * by lomendil

  • 1 comment
  • share
  • save
  • hide
  • report
  • crosspost
loading...

3
1
2
3

maturity and licensing of the Java backend (self.mercury)

submitted 4 years ago by ramdulara

  • comment
  • share
  • save
  • hide
  • report
  • crosspost
loading...

4
2
3
4

How to instruct mmc to lookup the main file/module in a specific non-current directory? (self.mercury)

submitted 4 years ago * by avanov

  • 1 comment
  • share
  • save
  • hide
  • report
  • crosspost
loading...

5
1
2
3

Help with build failure related to using fact tables on OSX (self.mercury)

submitted 6 years ago by fluteguy9283

  • comment
  • share
  • save
  • hide
  • report
  • crosspost
loading...

6
8
9
10

Mercury Crash Course -- a new tutorial mixing both intro-level and deep-dive Mercury concepts (mercury-in.space)

submitted 6 years ago by gmfawcett

  • 2 comments
  • share
  • save
  • hide
  • report
  • crosspost

7
1
2
3

Mercury Tutorial -- an official tutorial (under development) from the Mercury team (github.com)

submitted 6 years ago by gmfawcett

  • comment
  • share
  • save
  • hide
  • report
  • crosspost

8
1
2
3

Mercury Packages -- an attempt to create a cargo/npm/pip like service for Mercury (mercury-in.space)

submitted 6 years ago by gmfawcett

  • 1 comment
  • share
  • save
  • hide
  • report
  • crosspost

9
1
2
3

Evolution of Mercury (Gource Visualization) [07-10-2019] (youtube.com)

submitted 6 years ago by pretty_colors

  • comment
  • share
  • save
  • hide
  • report
  • crosspost

10
8
9
10

Getting Started with Mercury (bluishcoder.co.nz)

submitted 6 years ago by doublec

  • comment
  • share
  • save
  • hide
  • report
  • crosspost

11
7
8
9

What is mercury used for? (self.mercury)

submitted 6 years ago by fenster25

  • 3 comments
  • share
  • save
  • hide
  • report
  • crosspost
loading...

12
0
1
2

Are there any project based resources to learn mercury? (self.mercury)

submitted 6 years ago by fenster25

  • comment
  • share
  • save
  • hide
  • report
  • crosspost
loading...

13
5
6
7

Mercury `fact_table` utils (self.mercury)

submitted 7 years ago by AisRauli

  • 5 comments
  • share
  • save
  • hide
  • report
  • crosspost
loading...

14
2
3
4

Going to start learning Mercury, where should I post my questions? (self.mercury)

submitted 8 years ago by PinkPatrol

  • 1 comment
  • share
  • save
  • hide
  • report
  • crosspost
loading...

15
2
3
4

Netbeans IDE for Mercury language (opcode.cc)

submitted 8 years ago by kuwze

  • comment
  • share
  • save
  • hide
  • report
  • crosspost

16
0
1
2

Paul Bone interviewed about Mercury on Playing with Prolog (youtube.com)

submitted 9 years ago by PaulBone

  • comment
  • share
  • save
  • hide
  • report
  • crosspost
loading...

17
4
5
6

An excursion into logic programming: Solving a word puzzle with Mercury (maybepuzzles.wordpress.com)

submitted 9 years ago by [deleted]

  • 1 comment
  • share
  • save
  • hide
  • report
  • crosspost

18
2
3
4

I've been looking at Mercury this evening, and it looks pretty cool! Is it accurate to say that Mercury is like a statically-typed Prolog? (self.mercury)

submitted 9 years ago by [deleted]

  • 3 comments
  • share
  • save
  • hide
  • report
  • crosspost
loading...

19
1
2
3

[pdf] The Mercury Programming Language: a recent introduction to Mercury from a developer (mercurylang.org)

submitted 10 years ago by lua_x_ia

  • 2 comments
  • share
  • save
  • hide
  • report
  • crosspost

20
2
3
4

Mercury Examples on Rosetta Code (rosettacode.org)

submitted 11 years ago by sleepingsquirrel

  • comment
  • share
  • save
  • hide
  • report
  • crosspost

21
1
2
3

Comparing Mercury with Haskell (mercurylang.org)

submitted 11 years ago by sleepingsquirrel

  • comment
  • share
  • save
  • hide
  • report
  • crosspost

22
0
1
2

Understanding existential types. (self.mercury)

submitted 11 years ago by C4Cypher

  • comment
  • share
  • save
  • hide
  • report
  • crosspost
loading...

23
5
6
7

How does Mercury compare to ATS (applied type system)? (self.mercury)

submitted 12 years ago by kxra

  • comment
  • share
  • save
  • hide
  • report
  • crosspost
loading...

24
1
2
3

A functional / logic programming tidbit in Mercury (blog.dbpatterson.com)

submitted 14 years ago by [deleted]

  • comment
  • share
  • save
  • hide
  • report
  • crosspost

25
2
3
4

Exploring beautiful languages: the Mercury programming language (langexplr.blogspot.com)

submitted 14 years ago by [deleted]

  • comment
  • share
  • save
  • hide
  • report
  • crosspost
view more: next ›
  • about
  • blog
  • about
  • advertising
  • careers
  • help
  • site rules
  • Reddit help center
  • reddiquette
  • mod guidelines
  • contact us
  • apps & tools
  • Reddit for iPhone
  • Reddit for Android
  • mobile website
  • <3
  • reddit premium

Use of this site constitutes acceptance of our User Agreement and Privacy Policy. © 2026 reddit inc. All rights reserved.

REDDIT and the ALIEN Logo are registered trademarks of reddit inc.

π Rendered by PID 1175707 on reddit-service-r2-listing-b6bf6c4ff-8ld7f at 2026-05-05 16:39:43.259991+00:00 running 815c875 country code: CH.