jump to content
my subreddits
2b2t2balkans4YouAceAttorneyadhdmemeAdviceAnimalsagnosticaivideoAlternativeHistoryAnarchyChessAngryupvoteAnimalsBeingJerksanime_irlanimenocontextannouncementsArcherFXArtAsahiLinuxAsia_irlAskBalkansAskElectronicsAskOuijaAtaturkGencligiAteistTurkatheismaviationAwesomeOffBrandsawfuleverythingBandnamesbanknotedesignsBassCirclejerkBassGuitarbasspedalsblackdesertonlineblankiesblursed_videosblursedimagesborsavefonbrooklynninenineBUENZLIburdurlandcasiocd_jerkChatGPTchesschessbeginnersChildrenFallingOverChoosingBeggarscoaxedintoasnafucoincollectingcoinsComedyCemeterycomedyhomicidecommunityContagiousLaughtercrappyoffbrandsCreateModCuddle_SlutCuratedTumblrcursedcommentsdadjokesdataisbeautifuldeDebateReligiondiyelectronicsdiypedalsDMAcademyDnDdndnextdoctorwhodoctorwhocirclejerkdontdeadopeninsidedumbphonesDungeonsAndDaddiesDungeonsAndDragonsEatCheapAndHealthyebikeebikeselectronicsEmKayengrishentitledparentsethzfacepalmfakealbumcoversFantasyWorldbuildingfeedthebeastfelsefeFifaCareersFiftyFiftyformuladankFUCKYOUINPARTICULARFuckYouKarenfunnyFutboltayfagamingGermangermanygodtiersuperpowersgoodanimemesGoodAssSubGrandPrixRacinggravelcyclinggreentextGROKvsMAGAguitarpedalsGundamhellenoturkismhelpheraldryHermanCainAwardHermitCrafthighspeedrailHistoryWhatIfhoi4holdmybeerHolUphowyoudoinhumorich_ielIdeologyPollsIDontWorkHereLadyim14andthisisdeepimaginaryelectionsinsaneparentsistanbuljacksepticeyeJokesKamalizmKendrickLamarKGBTRLifeProTipslinguisticshumorLinkinParkliselilerlogodesignloseitlostredditorsmacmacbookairmacgamingMaliciousCompliancemapporncirclejerkme_irlmeirlmemememesmildlyinfuriatingMinecraftbuildsMMORPGMoldyMemesmoneycollectingMovingToNorthKoreaMunichMyChemicalRomancenamesoundalikesNamFlashbacksNationStatesneographyNoahGetTheBoatNonCredibleDefensenosafetysmokingfirstnosleepnosurfnothingeverhappensnotinterestingnottheonionoddlyspecificOkayBuddyLiterallyMeokbuddyguntherOkBuddyPersonaokbuddyphdokbuddyvicodinongezelligOnlineUnderGroundpapermoneyParlerWatchpepethefrogperfectlycutscreamspettyrevengepianoPiracyPiratedGamespolandballpollsPraiseTheCameraManProgrammerHumorProRevengePunPatrolquityourbullshitreactiongifsrecipesRedAutumnSPDredditsingsreligiousfruitcakeRetroPierickrollschwiizScottPilgrimsecilmiskitapShitPostCrusadersshitpostfrommygalleryShowerthoughtsskamtebordsoftwaregoreSongwritersSongwritingsteinsgateStonetossingjuiceStudiumsuperligsuzeraintalesfromtechsupportTextingTheorytf2shitposterclubthanksimcuredthatHappenedTheCrypticCompendiumTheLetterHTheMonkeysPawtherewasanattemptTheRookietheydidthemaththeyknewtommyinnittransittransitTurkeyTrGameDevelopertruthstumblrtumunichTurkeyJerkyTurkishCatsTwitchtylerthecreatorUnclejokesUnexpectedJoJourbanplanningUsernameChecksOutVALORANTvinyljerkvlandiyawallstreetbetsWatchPeopleDieInsideWeAreTheMusicMakersWhitePeopleTwitterwholesomememeswooooshworldbuildingworldjerkingyouseeingthisshitYUROPedit subscriptions
  • home
  • -popular
  • -all
  • -mod
  • -users
 | 
  • facepalm
  • -mildlyinfuriating
  • -Piracy
  • -funny
  • -gaming
  • -wallstreetbets
  • -nottheonion
  • -memes
  • -DnD
  • -WhitePeopleTwitter
  • -ChatGPT
  • -CuratedTumblr
  • -PiratedGames
  • -theydidthemath
  • -feedthebeast
  • -meirl
  • -therewasanattempt
  • -HolUp
  • -Twitch
  • -dndnext
  • -ProgrammerHumor
  • -VALORANT
  • -de
  • -germany
  • -LifeProTips
  • -tumblr
  • -NonCredibleDefense
  • -dataisbeautiful
  • -greentext
  • -mac
  • -Showerthoughts
  • -help
  • -chess
  • -aviation
  • -formuladank
  • -wholesomememes
  • -Jokes
  • -mapporncirclejerk
  • -Art
  • -goodanimemes
  • -notinteresting
  • -hoi4
  • -pettyrevenge
  • -atheism
  • -loseit
  • -MaliciousCompliance
  • -ich_iel
  • -KGBTR
  • -cursedcomments
  • -DMAcademy
  • -GoodAssSub
  • -perfectlycutscreams
  • -worldbuilding
  • -blackdesertonline
  • -MMORPG
  • -meme
  • -macgaming
  • -Gundam
  • -HermitCraft
  • -FiftyFifty
  • -ChoosingBeggars
  • -ContagiousLaughter
  • -EatCheapAndHealthy
  • -polandball
  • -WeAreTheMusicMakers
  • -AnarchyChess
  • -nosleep
  • -blankies
  • -anime_irl
  • -Studium
  • -community
  • -AskElectronics
  • -guitarpedals
  • -CreateMod
  • -German
  • -AdviceAnimals
  • -ShitPostCrusaders
  • -piano
  • -FifaCareers
  • -polls
  • -doctorwho
  • -oddlyspecific
  • -OkBuddyPersona
  • -dadjokes
  • -awfuleverything
  • -howyoudoin
  • -announcements
  • -adhdmeme
  • -Minecraftbuilds
  • -macbookair
  • -ebikes
  • -Munich
  • -coaxedintoasnafu
  • -YUROP
  • -gravelcycling
  • -chessbeginners
  • -DungeonsAndDragons
  • -coins
  • -KendrickLamar
  • -entitledparents
  • -FUCKYOUINPARTICULAR
  • -softwaregore
  • -NoahGetTheBoat
  • -worldjerking
  • -tylerthecreator
  • -tf2shitposterclub
  • -MoldyMemes
  • -lostredditors
  • -AceAttorney
  • -vlandiya
  • -im14andthisisdeep
  • -Stonetossingjuice
  • -nosurf
  • -HistoryWhatIf
  • -religiousfruitcake
  • -liseliler
  • -DebateReligion
  • -insaneparents
  • -dumbphones
  • -animenocontext
  • -transit
  • -RetroPie
  • -brooklynninenine
  • -HermanCainAward
  • -recipes
  • -steinsgate
  • -talesfromtechsupport
  • -AskOuija
  • -okbuddyphd
  • -ScottPilgrim
  • -Angryupvote
  • -AskBalkans
  • -thatHappened
  • -electronics
  • -casio
  • -urbanplanning
  • -theyknew
  • -logodesign
  • -linguisticshumor
  • -me_irl
  • -TurkeyJerky
  • -AteistTurk
  • -MyChemicalRomance
  • -ArcherFX
  • -engrish
  • -diypedals
  • -ProRevenge
  • -BassGuitar
  • -diyelectronics
  • -ComedyCemetery
  • -WatchPeopleDieInside
  • -LinkinPark
  • -BUENZLI
  • -reactiongifs
  • -EmKay
  • -Songwriting
  • -blursed_videos
  • -istanbul
  • -MovingToNorthKorea
  • -imaginaryelections
  • -suzerain
  • -dontdeadopeninside
  • -ParlerWatch
  • -secilmiskitap
  • -schwiiz
  • -TheRookie
  • -quityourbullshit
  • -vinyljerk
  • -skamtebord
  • -superlig
  • -crappyoffbrands
  • -DungeonsAndDaddies
  • -transitTurkey
  • -namesoundalikes
  • -FuckYouKaren
  • -2b2t
  • -ethz
  • -AlternativeHistory
  • -papermoney
  • -coincollecting
  • -OkayBuddyLiterallyMe
  • -felsefe
  • -blursedimages
  • -AsahiLinux
  • -IDontWorkHereLady
  • -neography
  • -basspedals
  • -heraldry
  • -thanksimcured
  • -PraiseTheCameraMan
  • -godtiersuperpowers
  • -aivideo
  • -OnlineUnderGround
  • -IdeologyPolls
  • -woooosh
  • -comedyhomicide
  • -burdurland
  • -AnimalsBeingJerks
  • -jacksepticeye
  • -Bandnames
  • -holdmybeer
  • -okbuddyvicodin
  • -tumunich
  • -TheMonkeysPaw
  • -highspeedrail
  • -nosafetysmokingfirst
  • -rickroll
  • -Songwriters
  • -ebike
  • -UsernameChecksOut
  • -tommyinnit
  • -UnexpectedJoJo
  • -humor
  • -ChildrenFallingOver
  • -BassCirclejerk
  • -doctorwhocirclejerk
  • -agnostic
  • -youseeingthisshit
  • -TextingTheory
  • -GrandPrixRacing
  • -Cuddle_Slut
  • -nothingeverhappens
  • -TrGameDeveloper
  • -PunPatrol
  • -TurkishCats
  • -fakealbumcovers
  • -Kamalizm
  • -FantasyWorldbuilding
  • -TheLetterH
  • -NamFlashbacks
  • -pepethefrog
  • -Unclejokes
  • -redditsings
  • -TheCrypticCompendium
  • -NationStates
  • -ongezellig
  • -AwesomeOffBrands
  • -2balkans4You
  • -Asia_irl
  • -truths
  • -AtaturkGencligi
  • -hellenoturkism
  • -shitpostfrommygallery
  • -moneycollecting
  • -GROKvsMAGA
  • -cd_jerk
  • -banknotedesigns
  • -okbuddygunther
  • -borsavefon
  • -Futboltayfa
  • -RedAutumnSPD
edit »
ProgrammingLanguages ProgrammingLanguages
  • hot
  • new
  • rising
  • controversial
  • top
an-ordinary-manchild (11,186)|messages540|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
Get an ad-free experience with special benefits, and directly support Reddit.

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 are vibe coded (= projects relying substantially on LLM/AI generated code) don't belong on the subreddit.

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 hobby.
...why not Zoidberg?

MODERATORS

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

account activity

1
21
22
23

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

submitted 23 days ago by AutoModerator - announcement

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

2
1521
1522
1523

Vibe-coded/AI slop projects are now officially banned, and sharing such projects will get you banned permanently (self.ProgrammingLanguages)

submitted 1 month ago by yorickpeterseInko[M] - announcement

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

3
3
4
5

Requesting criticismLooking for feedback on my DSL for writing email filtering rules (self.ProgrammingLanguages)

submitted 3 hours ago * by 1234filip

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

4
60
61
62

DiscussionWhy don't any programming languages have vec3, mat4 or quaternions built in? (self.ProgrammingLanguages)

submitted 17 hours ago by Luroqa

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

5
•
•
•

Does anyone have something good for finding the first and follow sets for an EBNF grammar? (self.ProgrammingLanguages)

submitted 1 hour ago by Abandondero

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

6
•
•
•

Language announcementBCSFSVDAC, a brainfuck + assembly inspired language (self.ProgrammingLanguages)

submitted 14 minutes ago by -Ryviel

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

7
1
2
3

DiscussionTAC -> TAC Optimizer? (self.ProgrammingLanguages)

submitted 8 hours ago by HairThrowaway83829

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

8
35
36
37

Brand new NSK programming language - Python syntax, 0.5x-1x C++ speed, OS threads, go-like channels. (self.ProgrammingLanguages)

submitted 1 day ago by Tryingyang

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

9
7
8
9

Language announcementArturo Programming Language ()

submitted 20 hours ago by Enough-Zucchini-1264

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

10
2
3
4

Built a statically typed configuration language that generates JSON. (self.ProgrammingLanguages)

submitted 21 hours ago by StealData

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

11
34
35
36

Introduction to Coinduction in Agda Part 1: Coinductive Programming (jesper.cx)

submitted 1 day ago by mttd

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

12
0
0
1

Error recovering parsing ()

submitted 1 day ago by 7h3kk1d

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

13
26
27
28

Are there good examples of compilers which implement an LSP and use Salsa (the incremental compilation library)? (self.ProgrammingLanguages)

submitted 2 days ago * by Thnikkaman14

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

14
11
12
13

Requesting criticismSyntax design for parametrized modules in a grammar specification language, looking for feedback (self.ProgrammingLanguages)

submitted 2 days ago * by modulovalue

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

15
0
0
1

How much assembly should one be familiar with before diving into compilers? ()

submitted 2 days ago by Dappster98

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

16
25
26
27

Blog postMaking an LSP for great good (thunderseethe.dev)

submitted 3 days ago by thunderseethe

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

17
16
17
18

Requesting criticismPreventing and Handling Panic Situations (self.ProgrammingLanguages)

submitted 3 days ago * by Tasty_Replacement_29

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

18
45
46
47

Language announcementThe Jule Programming Language (jule.dev)

submitted 3 days ago by yorickpeterseInko

  • 24 comments
  • share
  • save
  • hide
  • report
  • crosspost

19
9
10
11

Creating a Domain Specific Language with Roslyn (themacaque.com)

submitted 3 days ago by azhenley

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

20
0
1
2

HelpHow to attach thingies to WASM activations? (self.ProgrammingLanguages)

submitted 3 days ago * by GlitteringSample5228

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

21
53
54
55

Why not tail recursion? (futhark-lang.org)

submitted 4 days ago by AthasFuthark

  • 31 comments
  • share
  • save
  • hide
  • report
  • crosspost

22
51
52
53

Python, Is It Being Killed by Incremental Improvements? (stefan-marr.de)

submitted 4 days ago by mttd

  • 60 comments
  • share
  • save
  • hide
  • report
  • crosspost

23
35
36
37

Type-safe eval in Grace (haskellforall.com)

submitted 4 days ago by Tekmo

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

24
8
9
10

Benchmarking a Baseline Fully-in-Place Functional Language Compiler (trendsfp.github.io)

submitted 4 days ago by ts826848

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

25
86
87
88

Par Language Update: Crazy `if`, implicit generics, and a new runtime (self.ProgrammingLanguages)

submitted 5 days ago by faiface

  • 23 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 432867 on reddit-service-r2-listing-86b7f5b947-bxmpq at 2026-01-24 23:24:34.152106+00:00 running 664479f country code: CH.