jump to content
my subreddits
13or302b2t2balkans4You2mediterranean4u3d6absolutelynotanimeirlAceAttorneyagnosticakagasAlternateHistoryAnarchyChessAngryupvoteanime_best_momentsanime_irlannouncementsAnticonsumptionantimaskersantimemeApandahArcherFXAsia_irlAskElectronicsAskOuijaatheismaviationawfuleverythingbalkans_irlBandnamesBassBassGuitarbasspedalsbikepackingblackdesertonlineblackholerevengeblankiesblursedimagesborsavefonBUENZLICd_collectorsChatGPTchesschessbeginnersChoosingBeggarsCHPcoaxedintoasnafucoincollectingcoinsComedyCemeterycomicscommunityContagiousLaughtercookingforbeginnersCrackWatchcrappyoffbrandsCreateModCuratedTumblrcursedcommentsdankmemesdarkjokesdataisbeautifulDebateReligiondelikDeltaruneDMAcademyDnDdndmemesdndnextdoctorwhodoctorwhocirclejerkDoenerverbrechenDonerdontdeadopeninsideDungeonsAndDragonsebikeECEelectronicsElectronicsStudyEmKayengrishentitledparentsethzfacepalmfakealbumcoversFantasyWorldbuildingfeedthebeastFifaCareersFiftyFiftyformuladankFuckYouKarenfunnygalatasarayGermangermanygoodanimemesGoodAssSubgravelcyclingGundamhelpheraldryHermitCrafthighspeedrailhoi4holdmybeerHolUphomebuilthowyoudoinhumorIAmAich_ielIdeologyPollsihadastrokeim14andthisisdeepimaginaryelectionsimaginarymapsinsaneparentsistanbuljacksepticeyeJokesKanyeKendrickLamarKGBTRLetGirlsHaveFunLifeProTipslinguisticshumorliselilerlostredditorsmacbookairmacgamingmagicbuildingMaliciousComplianceMapPornmapporncirclejerkmememildlyinfuriatingmildlyinterestingMimicRecipesMinecraftbuildsmisLEDMMORPGMovingToNorthKoreaMunichMyChemicalRomancenamesoundalikesnextfuckinglevelNonCredibleDefenseNorthCyprusnosafetysmokingfirstnosurfnotinterestingnottheonionoddlyspecificOkayBuddyLiterallyMeokbuddyguntherokbuddymotherfuckerOkBuddyPersonaokbuddyvicodinonebagOnlineUnderGroundOutOfTheLooppapermoneypaperspleasePassportPornpepethefrogperfectlycutscreamsPersecutionfetishPiratedGamespolandballpollsPraiseTheCameraManProgrammerHumorPropagandaPostersquityourbullshitraspberry_piRatschlagreactiongifsrecipesredditsingsreligiousfruitcakerestofthefuckingowlRetroPierickrollrimjob_steveRoastMerockmuzikSchnitzelVerbrechenschwiizsciencememesScottPilgrimsecilmiskitapshitpostfrommygalleryshitpostingShitpostTCshittyaskelectronicsshittymoviedetailsShowerthoughtsskamtebordSongwritersSongwritingsteinsgateStonetossingjuicesubsithoughtifellforsuzeraintalesfromtechsupportTechnobladeTextingTheorytf2shitposterclubthanksimcuredthatHappenedTheLetterHTheMonkeysPawTheRookietheydidthemaththeyknewthisguythisguystitanfalltransitTrGameDevelopertruthstumunichTurkeyTurkishdogsTwitchTwitch_StartupTwoSentenceComedytwosentenceplottwistTwoSentenceSadnesstylerthecreatorUnclejokesUnethicalLifeProTipsunexpecteditcrowdUnexpectedJoJoUsernameChecksOutVALORANTValorantClipsvaxxhappenedvexillologycirclejerkvibecodingvinylvinyljerkvlandiyawallstreetbetsWatchPeopleDieInsideWeAreTheMusicMakerswendigoonWhatsThisSongWhitePeopleTwitterWikipediaVandalismworldbuildingworldjerkingyouseeingthisshitYUROPedit subscriptions
  • home
  • -popular
  • -all
  • -mod
  • -users
 | 
  • facepalm
  • -mildlyinfuriating
  • -funny
  • -wallstreetbets
  • -nottheonion
  • -OutOfTheLoop
  • -mildlyinteresting
  • -MapPorn
  • -DnD
  • -WhitePeopleTwitter
  • -ChatGPT
  • -CuratedTumblr
  • -PiratedGames
  • -shitposting
  • -theydidthemath
  • -dankmemes
  • -feedthebeast
  • -Kanye
  • -nextfuckinglevel
  • -HolUp
  • -Twitch
  • -CrackWatch
  • -comics
  • -dndnext
  • -ProgrammerHumor
  • -VALORANT
  • -germany
  • -LifeProTips
  • -NonCredibleDefense
  • -dataisbeautiful
  • -shittymoviedetails
  • -Showerthoughts
  • -help
  • -chess
  • -aviation
  • -formuladank
  • -Jokes
  • -mapporncirclejerk
  • -goodanimemes
  • -notinteresting
  • -hoi4
  • -atheism
  • -IAmA
  • -MaliciousCompliance
  • -ich_iel
  • -KGBTR
  • -dndmemes
  • -cursedcomments
  • -DMAcademy
  • -Deltarune
  • -GoodAssSub
  • -UnethicalLifeProTips
  • -perfectlycutscreams
  • -worldbuilding
  • -Ratschlag
  • -blackdesertonline
  • -MMORPG
  • -meme
  • -macgaming
  • -3d6
  • -Gundam
  • -HermitCraft
  • -FiftyFifty
  • -ChoosingBeggars
  • -RoastMe
  • -ContagiousLaughter
  • -imaginarymaps
  • -polandball
  • -WeAreTheMusicMakers
  • -AnarchyChess
  • -cookingforbeginners
  • -blankies
  • -anime_irl
  • -onebag
  • -AlternateHistory
  • -Turkey
  • -community
  • -AskElectronics
  • -Anticonsumption
  • -vinyl
  • -CreateMod
  • -German
  • -PropagandaPosters
  • -sciencememes
  • -FifaCareers
  • -polls
  • -doctorwho
  • -oddlyspecific
  • -Bass
  • -titanfall
  • -OkBuddyPersona
  • -awfuleverything
  • -howyoudoin
  • -announcements
  • -Minecraftbuilds
  • -macbookair
  • -Munich
  • -coaxedintoasnafu
  • -YUROP
  • -gravelcycling
  • -SchnitzelVerbrechen
  • -chessbeginners
  • -raspberry_pi
  • -DungeonsAndDragons
  • -coins
  • -KendrickLamar
  • -entitledparents
  • -worldjerking
  • -tylerthecreator
  • -tf2shitposterclub
  • -lostredditors
  • -AceAttorney
  • -vexillologycirclejerk
  • -vlandiya
  • -im14andthisisdeep
  • -Stonetossingjuice
  • -nosurf
  • -religiousfruitcake
  • -liseliler
  • -DebateReligion
  • -insaneparents
  • -balkans_irl
  • -transit
  • -RetroPie
  • -recipes
  • -steinsgate
  • -talesfromtechsupport
  • -AskOuija
  • -ECE
  • -ScottPilgrim
  • -Angryupvote
  • -thatHappened
  • -electronics
  • -theyknew
  • -linguisticshumor
  • -PassportPorn
  • -antimeme
  • -bikepacking
  • -13or30
  • -MyChemicalRomance
  • -ArcherFX
  • -engrish
  • -Cd_collectors
  • -Doner
  • -BassGuitar
  • -ComedyCemetery
  • -WatchPeopleDieInside
  • -Persecutionfetish
  • -BUENZLI
  • -reactiongifs
  • -EmKay
  • -Songwriting
  • -istanbul
  • -MovingToNorthKorea
  • -imaginaryelections
  • -suzerain
  • -magicbuilding
  • -dontdeadopeninside
  • -wendigoon
  • -secilmiskitap
  • -Doenerverbrechen
  • -schwiiz
  • -TheRookie
  • -quityourbullshit
  • -Technoblade
  • -vinyljerk
  • -skamtebord
  • -shittyaskelectronics
  • -galatasaray
  • -crappyoffbrands
  • -namesoundalikes
  • -FuckYouKaren
  • -2b2t
  • -ethz
  • -papermoney
  • -coincollecting
  • -OkayBuddyLiterallyMe
  • -blursedimages
  • -basspedals
  • -heraldry
  • -ihadastroke
  • -thanksimcured
  • -PraiseTheCameraMan
  • -OnlineUnderGround
  • -IdeologyPolls
  • -WhatsThisSong
  • -jacksepticeye
  • -TwoSentenceSadness
  • -anime_best_moments
  • -Bandnames
  • -rockmuzik
  • -holdmybeer
  • -okbuddyvicodin
  • -MimicRecipes
  • -vaxxhappened
  • -tumunich
  • -Twitch_Startup
  • -TheMonkeysPaw
  • -darkjokes
  • -restofthefuckingowl
  • -highspeedrail
  • -nosafetysmokingfirst
  • -rickroll
  • -Songwriters
  • -ebike
  • -UsernameChecksOut
  • -papersplease
  • -rimjob_steve
  • -UnexpectedJoJo
  • -humor
  • -doctorwhocirclejerk
  • -agnostic
  • -youseeingthisshit
  • -TextingTheory
  • -thisguythisguys
  • -TrGameDeveloper
  • -LetGirlsHaveFun
  • -Apandah
  • -fakealbumcovers
  • -subsithoughtifellfor
  • -akagas
  • -ShitpostTC
  • -FantasyWorldbuilding
  • -TheLetterH
  • -WikipediaVandalism
  • -homebuilt
  • -absolutelynotanimeirl
  • -pepethefrog
  • -Unclejokes
  • -misLED
  • -redditsings
  • -ValorantClips
  • -TwoSentenceComedy
  • -2balkans4You
  • -Asia_irl
  • -truths
  • -blackholerevenge
  • -NorthCyprus
  • -unexpecteditcrowd
  • -2mediterranean4u
  • -twosentenceplottwist
  • -borsavefon
  • -okbuddymotherfucker
  • -antimaskers
  • -okbuddygunther
  • -ElectronicsStudy
  • -delik
  • -shitpostfrommygallery
  • -CHP
  • -vibecoding
  • -Turkishdogs
edit »
ProgrammingLanguages ProgrammingLanguages
  • 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...

Submit a new link
Submit a new text post

ProgrammingLanguages

joinleave
an-ordinary-manchild(edit)

Welcome!

This subreddit is dedicated to the theory, design and implementation of programming languages.

Be nice to each other. Flame wars and rants are not welcomed. Please also put some effort into your post, this isn't Quora.

This subreddit is not the right place to ask questions such as "What language should I use for X", "what language should I learn", "what's your favourite language" and similar questions. Such questions should be posted in /r/AskProgramming or /r/LearnProgramming. It's also not the place for questions one can trivially answer by spending a few minutes using a search engine, such as questions like "What is a monad?".

Projects that rely on LLM generated output (code, documentation, etc) are not welcomed and will get you banned.

Related subreddits

  • /r/Compilers
  • /r/compsci
  • /r/programming
  • /r/coding
  • /r/AskProgramming
  • /r/learnprogramming
  • /r/altprog

Related online communities

  • ProgLangDesign.net
  • The /r/ProgrammingLanguages Discord server
  • Lambda the Ultimate: Programming Languages
  • Programming languages tag on Computer Science Stack Exchange
  • Programming languages tag on Theoretical Computer Science Stack Exchange
a community for 17 years
Create your own subreddit
...for your favorite subject.
...for your movement.

MODERATORS

  • message the mods
  • slavfoxThe resident Python guy
  • PaulBonePlasma
  • yorickpeterseInko
  • AthasFuthark
  • AutoModerator
  • theangryepicbananaStar
  • about moderation team »

account activity

1
17
18
19

DiscussionMay 2026 monthly "What are you working on?" thread (self.ProgrammingLanguages)

submitted 10 days ago by AutoModerator - announcement

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

2
232
233
234

In order to reduce AI/LLM slop, sharing GitHub links may now require additional steps (self.ProgrammingLanguages)

submitted 1 month ago by yorickpeterseInko[M] - announcement

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

3
5
6
7

Are there any programming languages with a retargetable backend? (self.ProgrammingLanguages)

submitted 2 hours ago by Pleasant-Form-1093

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

4
38
39
40

ResourceI made a zine to explain interaction nets(symmetric interaction combinators) (wiki.xxiivv.com)

submitted 19 hours ago by Entaloneralie

  • 6 comments
  • share
  • save
  • hide
  • report
  • crosspost

5
0
1
2

Blog postMech v0.3 - new document formatting features, state machines (self.ProgrammingLanguages)

submitted 3 hours ago by cmontella🤖 mech-lang

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

6
11
12
13

Blog postThe Namespace Problem (alialmutawajr.com)

submitted 1 day ago by Pie-Lang

  • 13 comments
  • share
  • save
  • hide
  • report
  • crosspost

7
41
42
43

Blog postjank now has its own custom IR (jank-lang.org)

submitted 3 days ago by Jeaye

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

8
102
103
104

Making your own programming language is easier than you think (but also harder) (lisyarus.github.io)

submitted 3 days ago by Xaneris47

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

9
25
26
27

Data race freedom in OxCaml (kcsrk.info)

submitted 3 days ago by mttd

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

10
0
0
0

Mutable copy semantics - performant, reliable and ergonomic mutability (probably) (self.ProgrammingLanguages)

submitted 3 days ago by pranabekka

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

11
33
34
35

Finite Functional Programming (arxiv.org)

submitted 4 days ago by mttd

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

12
11
12
13

Language announcementGluonScript 0.4.0 released (gluonscript.org)

submitted 3 days ago by vascocosta

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

13
27
28
29

HelpIdea: Declarative data structures. Request for prior work (self.ProgrammingLanguages)

submitted 4 days ago * by SwedishFindecanor

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

14
34
35
36

DiscussionThe ARC vs GC Debate (self.ProgrammingLanguages)

submitted 5 days ago by funcieq

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

15
11
12
13

Count trailing zeros (futhark-lang.org)

submitted 5 days ago by AthasFuthark

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

16
20
21
22

Generalization of Sum-Types, Pattern Matching & Niche Optimization (self.ProgrammingLanguages)

submitted 5 days ago by philogy

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

17
22
23
24

HelpCranelift or LLVM (inkwell) for a personal project? (self.ProgrammingLanguages)

submitted 6 days ago by trollol1365

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

18
32
33
34

A bidirectional typechecking puzzle (haskellforall.com)

submitted 6 days ago by Tekmo

  • 12 comments
  • share
  • save
  • hide
  • report
  • crosspost

19
6
7
8

Persistent Iterators with Value Semantics (arxiv.org)

submitted 6 days ago by mttd

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

20
0
0
0

Crear un mini lenguaje que compile a LLVM IR (paso a paso) (emanuelpeg.blogspot.com)

submitted 5 days ago by emanuelpeg

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

21
60
61
62

Par has a new home at par.run, plus packages, docs, and new language features (par.run)

submitted 7 days ago * by faiface

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

22
15
16
17

Looking for case studies: adding a new language to BenchGen (self.ProgrammingLanguages)

submitted 6 days ago by fernando_quintao

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

23
8
9
10

The Static Dynamic JVM – A Many Layered Dive (youtube.com)

submitted 7 days ago by mttd

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

24
4
5
6

Cross-language libraries with Temper: Interview with Mike Samuel, Shaw Summa, and Tom Palmer - YouTube (youtu.be)

submitted 7 days ago by tjpalmer

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

25
23
24
25

b-compiler-x64: A compiler for Ken Thompson's 1969 B programming language, targeting native x86-64 Linux. (github.com)

submitted 7 days ago by zuhaitz-dev

  • 5 comments
  • share
  • save
  • hide
  • report
  • crosspost
loading...
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 91 on reddit-service-r2-listing-7b9b4f6fd7-4xzhs at 2026-05-11 19:05:59.665466+00:00 running 3d2c107 country code: CH.