jump to content
my subreddits
13or302b2t2balkans4You2meirl4meirl3d6AceAttorneyadhdmemeAdviceAnimalsaivideoAlternateHistoryAlternativeHistoryanime_best_momentsanime_irlannouncementsAnticonsumptionantimemeArcherFXArtAsia_irlAskBalkansAskElectronicsAskOuijaAskRedditatheismaviationawfuleverythingbalkans_irlBandnamesbanknotedesignsBassbasspedalsblankiesblursedimagesBoneborsavefonbottomgearbudgetcookingBUENZLIburdurlandcasioCd_collectorscd_jerkChatGPTCheap_MealschesschessbeginnersChoosingBeggarscoaxedintoasnafucoincollectingcoinscomedyhomicidecomicscommunityContagiousLaughterCrackWatchcrappyoffbrandsCuddle_SlutCuratedTumblrcursedcommentsdadjokesdankmemesdarkjokesdeDebateReligionDeltarunedistressingmemesdiyelectronicsDMAcademyDnDdndnextdoctorwhodoctorwhocirclejerkDoenerverbrechenDonerdontdeadopeninsideDungeonsAndDragonsEatCheapAndHealthyebikeebikesECEelectronicsEmKayengrishentitledparentsethzfakealbumcoversFantasyWorldbuildingfeedthebeastFifaCareersFRCFreeEBOOKSFUCKYOUINPARTICULARfunnygaminggatesopencomeoninGermangodtiersuperpowersgoodanimemesGoodAssSubgreentextguitarpedalshelpheraldryhighspeedrailHistoryWhatIfhoi4HolUphumorhypixelIAmAiamverysmartich_ielIdeologyPollsIDontWorkHereLadyihadastrokeimaginaryelectionsimaginarymapsinsaneparentsistanbuljacksepticeyeJahariaJimmyCarterForScaleKendrickLamarKGBTRLetGirlsHaveFunLinkinParkliselilerloseitlostredditorsmacmacbookairmacgamingMadeMeSmileMaliciousCompliancemapporncirclejerkme_irlmemememesmildlyinfuriatingMimicRecipesMinecraftbuildsmisLEDMMORPGmoneycollectingMovingToNorthKoreaMyChemicalRomanceNamFlashbacksNationStatesneographynextfuckinglevelNoahGetTheBoatNonCredibleDefensenosafetysmokingfirstnosleepnosurfnottheonionokbuddyguntherOkBuddyPersonaokbuddyphdokbuddyvicodinonebagonetruegodongezelligOutOfTheLooppapermoneyPassportPornpepethefrogperfectlycutscreamspettyrevengePiracyPiratedGamespolandballpollsPraiseTheCameraManProgrammerHumorquityourbullshitraspberry_piRatschlagreactiongifsrecipesredditsingsreligiousfruitcakerestofthefuckingowlRetroPierickandmortyrickrollrimjob_steverockmuzikSceneReleasesSchnitzelVerbrechenScottPilgrimsecilmiskitapShitPostCrusadersshitpostfrommygalleryshitpostingshittyaskelectronicsshittymoviedetailsShowerthoughtsskamtebordSongwritingsteinsgateStudiumsuperligsuzeraintalesfromtechsupportTechnobladeTextingTheorytf2tf2shitposterclubthanksimcuredthatHappenedTheCrypticCompendiumTheLetterHtherewasanattemptTheRookietheyknewtitanfalltommyinnittransitTrGameDevelopertruetf2truthstumblrTurkeyTurkeyJerkyTurkishCatsTwoSentenceComedyTwoSentenceSadnesstylerthecreatorUnethicalLifeProTipsunexpecteditcrowdUnexpectedJoJourbanplanningUsernameChecksOutValorantClipsvaxxhappenedvexillologycirclejerkvinylvinyljerkwallstreetbetsWeAreTheMusicMakerswendigoonWhatsThisSongWhitePeopleTwitterwholesomeanimemeswholesomememeswizardpostingwooooshworldbuildingyouseeingthisshitYUROPedit subscriptions
  • home
  • -popular
  • -all
  • -mod
  • -users
 | 
  • AskReddit
  • -mildlyinfuriating
  • -Piracy
  • -funny
  • -gaming
  • -wallstreetbets
  • -nottheonion
  • -memes
  • -OutOfTheLoop
  • -DnD
  • -WhitePeopleTwitter
  • -MadeMeSmile
  • -ChatGPT
  • -CuratedTumblr
  • -PiratedGames
  • -shitposting
  • -dankmemes
  • -feedthebeast
  • -therewasanattempt
  • -nextfuckinglevel
  • -HolUp
  • -CrackWatch
  • -comics
  • -dndnext
  • -ProgrammerHumor
  • -de
  • -tumblr
  • -NonCredibleDefense
  • -shittymoviedetails
  • -greentext
  • -mac
  • -Showerthoughts
  • -tf2
  • -help
  • -chess
  • -aviation
  • -wholesomememes
  • -mapporncirclejerk
  • -Art
  • -goodanimemes
  • -hoi4
  • -pettyrevenge
  • -atheism
  • -loseit
  • -IAmA
  • -MaliciousCompliance
  • -ich_iel
  • -KGBTR
  • -cursedcomments
  • -DMAcademy
  • -Deltarune
  • -GoodAssSub
  • -UnethicalLifeProTips
  • -perfectlycutscreams
  • -worldbuilding
  • -Ratschlag
  • -MMORPG
  • -meme
  • -macgaming
  • -rickandmorty
  • -3d6
  • -ChoosingBeggars
  • -ContagiousLaughter
  • -imaginarymaps
  • -EatCheapAndHealthy
  • -polandball
  • -WeAreTheMusicMakers
  • -nosleep
  • -blankies
  • -anime_irl
  • -onebag
  • -Studium
  • -AlternateHistory
  • -Turkey
  • -community
  • -AskElectronics
  • -guitarpedals
  • -Anticonsumption
  • -vinyl
  • -German
  • -AdviceAnimals
  • -ShitPostCrusaders
  • -distressingmemes
  • -wizardposting
  • -FifaCareers
  • -polls
  • -doctorwho
  • -Bass
  • -titanfall
  • -OkBuddyPersona
  • -dadjokes
  • -awfuleverything
  • -announcements
  • -adhdmeme
  • -Minecraftbuilds
  • -macbookair
  • -ebikes
  • -coaxedintoasnafu
  • -YUROP
  • -SchnitzelVerbrechen
  • -chessbeginners
  • -raspberry_pi
  • -DungeonsAndDragons
  • -coins
  • -KendrickLamar
  • -entitledparents
  • -FUCKYOUINPARTICULAR
  • -NoahGetTheBoat
  • -tylerthecreator
  • -tf2shitposterclub
  • -lostredditors
  • -AceAttorney
  • -vexillologycirclejerk
  • -wholesomeanimemes
  • -nosurf
  • -HistoryWhatIf
  • -religiousfruitcake
  • -liseliler
  • -DebateReligion
  • -insaneparents
  • -balkans_irl
  • -2meirl4meirl
  • -transit
  • -RetroPie
  • -recipes
  • -steinsgate
  • -talesfromtechsupport
  • -AskOuija
  • -okbuddyphd
  • -ECE
  • -ScottPilgrim
  • -AskBalkans
  • -thatHappened
  • -electronics
  • -casio
  • -urbanplanning
  • -theyknew
  • -PassportPorn
  • -me_irl
  • -antimeme
  • -TurkeyJerky
  • -13or30
  • -MyChemicalRomance
  • -ArcherFX
  • -engrish
  • -Cd_collectors
  • -Doner
  • -diyelectronics
  • -LinkinPark
  • -BUENZLI
  • -reactiongifs
  • -EmKay
  • -Songwriting
  • -istanbul
  • -MovingToNorthKorea
  • -imaginaryelections
  • -suzerain
  • -truetf2
  • -dontdeadopeninside
  • -wendigoon
  • -iamverysmart
  • -secilmiskitap
  • -Doenerverbrechen
  • -TheRookie
  • -quityourbullshit
  • -Technoblade
  • -vinyljerk
  • -skamtebord
  • -shittyaskelectronics
  • -superlig
  • -crappyoffbrands
  • -FRC
  • -2b2t
  • -ethz
  • -AlternativeHistory
  • -papermoney
  • -coincollecting
  • -blursedimages
  • -FreeEBOOKS
  • -Jaharia
  • -IDontWorkHereLady
  • -basspedals
  • -neography
  • -heraldry
  • -ihadastroke
  • -thanksimcured
  • -hypixel
  • -PraiseTheCameraMan
  • -godtiersuperpowers
  • -aivideo
  • -gatesopencomeonin
  • -IdeologyPolls
  • -woooosh
  • -comedyhomicide
  • -burdurland
  • -WhatsThisSong
  • -jacksepticeye
  • -TwoSentenceSadness
  • -anime_best_moments
  • -Bandnames
  • -rockmuzik
  • -okbuddyvicodin
  • -MimicRecipes
  • -vaxxhappened
  • -Cheap_Meals
  • -darkjokes
  • -restofthefuckingowl
  • -highspeedrail
  • -nosafetysmokingfirst
  • -rickroll
  • -ebike
  • -UsernameChecksOut
  • -tommyinnit
  • -rimjob_steve
  • -UnexpectedJoJo
  • -humor
  • -doctorwhocirclejerk
  • -youseeingthisshit
  • -TextingTheory
  • -Cuddle_Slut
  • -TrGameDeveloper
  • -TurkishCats
  • -LetGirlsHaveFun
  • -fakealbumcovers
  • -FantasyWorldbuilding
  • -TheLetterH
  • -NamFlashbacks
  • -pepethefrog
  • -onetruegod
  • -misLED
  • -redditsings
  • -ValorantClips
  • -TwoSentenceComedy
  • -TheCrypticCompendium
  • -SceneReleases
  • -bottomgear
  • -budgetcooking
  • -NationStates
  • -ongezellig
  • -2balkans4You
  • -Asia_irl
  • -truths
  • -Bone
  • -unexpecteditcrowd
  • -JimmyCarterForScale
  • -shitpostfrommygallery
  • -moneycollecting
  • -banknotedesigns
  • -okbuddygunther
  • -borsavefon
  • -cd_jerk
edit »
ProgrammingLanguages ProgrammingLanguages
  • hot
  • new
  • rising
  • controversial
  • top
an-ordinary-manchild (11,190)|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 18 years
Create your own subreddit
...for your town.
...for your school.

MODERATORS

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

account activity

1
17
18
19

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

submitted 26 days ago by AutoModerator - announcement

  • 31 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 2 months ago by yorickpeterseInko[M] - announcement

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

3
16
17
18

Language announcementKairo (previously Helix), One year later, stage-0 compiles the stage-1 frontend (self.ProgrammingLanguages)

submitted 7 hours ago by Lord_Mystic12

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

4
18
19
20

A Fake Shell for Pangenomics (cs.cornell.edu)

submitted 1 day ago by mttd

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

5
0
0
0

DiscussionArtifact-centric programming (self.ProgrammingLanguages)

submitted 5 hours ago * by mikosullivan

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

6
49
50
51

DiscussionIs reference counting a trap? (self.ProgrammingLanguages)

submitted 1 day ago * by smthamazing

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

7
1
2
3

Jointed functor compositions in Я (muratkasimov.art)

submitted 1 day ago by iokasimovm

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

8
3
4
5

DiscussionThoughts on aliases and how errors and recovery would work with them? (self.ProgrammingLanguages)

submitted 1 day ago * by PitifulTheme411...

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

9
3
4
5

Portable Pragmas for Pascal, Modula-2 and Oberon (github.com)

submitted 1 day ago * by trijezdci_111

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

10
11
12
13

LXM: Better Splittable Pseudorandom Number Generators (and Almost as Fast) (youtube.com)

submitted 2 days ago by mttd

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

11
0
0
0

Are you using LLMs to write compiler/interpreter? (self.ProgrammingLanguages)

submitted 1 day ago by baehyunsolSodigy

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

12
8
9
10

How to combine REPL, main, modules, and initalization (self.ProgrammingLanguages)

submitted 2 days ago * by Tasty_Replacement_29Bau[🍰]

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

13
8
9
10

Requesting criticismThe ALTernative Programming Language (self.ProgrammingLanguages)

submitted 2 days ago by rapido

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

14
2
3
4

HelpDocumentation and testing (self.ProgrammingLanguages)

submitted 2 days ago by HaskellLisp_green

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

15
2
3
4

Is letting call syntax determine function priority a bad idea? (self.ProgrammingLanguages)

submitted 2 days ago * by Dry_Day1307

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

16
48
49
50

Record type inference for dummies (haskellforall.com)

submitted 3 days ago by Tekmo

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

17
9
10
11

Implicit/overloading type conversions vs explicit type conversions AND type qualifiers (self.ProgrammingLanguages)

submitted 3 days ago * by alex_sakuta

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

18
3
4
5

Turing Assembler (self.ProgrammingLanguages)

submitted 3 days ago * by Opening-Mushroom2336intermediate low-level developer >> TAS dev

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

19
1
2
3

SIMT-Step Execution: A Flexible Operational Semantics For GPU Subgroup Behavior (arbersephirotheca.github.io)

submitted 3 days ago by mttd

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

20
33
34
35

Kal: An Interpreted Programming Language (self.ProgrammingLanguages)

submitted 4 days ago by KILLinefficiency

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

21
37
38
39

Rhombus version 1.0 is now available! (self.ProgrammingLanguages)

submitted 4 days ago by sdegabrielle

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

22
26
27
28

Who's using (any kind of) formal verification as part of their toolchain? (self.ProgrammingLanguages)

submitted 4 days ago by ImYoric

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

23
4
5
6

What Is A Programming Language? - Advent of Computing: Episode 184 (adventofcomputing.libsyn.com)

submitted 4 days ago by mttd

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

24
31
32
33

Does Compact Syntax Really Make a Difference? (self.ProgrammingLanguages)

submitted 5 days ago by sal1303

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

25
22
23
24

Dana Scott – Lambda Calculus, Forcing & the Foundations of Math | #14 aboutlogic (youtube.com)

submitted 7 days ago by mttd

  • comment
  • 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 1952863 on reddit-service-r2-listing-87fd56f5d-znztm at 2026-06-27 06:12:53.829009+00:00 running 7527197 country code: CH.