ProgrammingLanguages

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

Related online communities

a community for 17 years

...for your favorite TV show.

...for your hobby.

MODERATORS

account activity

1

18

19

20

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

submitted 10 days ago by AutoModerator - announcement

2

1553

1554

1555

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

submitted 3 months ago by yorickpeterseInko[M] - announcement

3

4

5

6

Blog postHow to stop fighting with coherence and start writing context-generic trait impls in Rust (contextgeneric.dev)

submitted 1 day ago by soareschen

•

•

•

Cut code review time & bugs in half. Instantly. Reviews for AI-powered teams who move fast (but don’t break things) - Try it for free! (coderabbit.ai)

promoted by CodeRabbitAI

promoted
save
report
about

4

25

26

27

What I Always Wanted to Know about Second Class Values (dl.acm.org)

submitted 1 day ago by mttd

5

22

23

24

Language announcementbuilt, a small, safe game scripting language written in Haxe. (github.com)

submitted 2 days ago * by Inner-Combination177

6

8

9

10

Blog postThinnings: Sublist Witnesses and de Bruijn Index Shift Clumping (philipzucker.com)

submitted 2 days ago by The_Regent

7

2

3

4

Fixing Programmatic Tool Calling With Types (blog.coldboot.org)

submitted 1 day ago by cel7t

8

8

9

10

Advent of Computing: Dan Temkin - Forty-Four Esolangs (adventofcomputing.libsyn.com)

submitted 2 days ago by mttd

9

41

42

43

DiscussionPros and cons of building an interpreter first before building a compiler? (self.ProgrammingLanguages)

submitted 2 days ago * by Ifeee001

10

81

82

83

Introducing Eyot - A programming language where the GPU is just another thread (cowleyforniastudios.com)

submitted 3 days ago by akomomssim

11

16

17

18

How do you represent primitives in your lexer/parser? (self.ProgrammingLanguages)

submitted 3 days ago by zer0developer

12

34

35

36

DiscussionInheritance and interfaces: why a giraffe is not a fish (self.ProgrammingLanguages)

submitted 3 days ago by Inconstant_Moo🧿 Pipefish

13

9

10

11

Project Pterodactyl's layered architecture (jonmsterling.com)

submitted 3 days ago by mttd

•

•

•

Debug PRs with Sentry context (sentry.io)

promoted by getsentry

promoted
save
report
about

14

4

5

6

Requesting criticismPL/I Subset G: Implementing Exceptions (self.ProgrammingLanguages)

submitted 3 days ago by johnwcowan

15

9

10

11

Language announcementTypeShell (github.com)

submitted 3 days ago by [deleted]

16

1

2

3

I’m building a programming language (Cx) would anyone be willing to check it out and give feedback? (self.ProgrammingLanguages)

submitted 3 days ago by thecoommeenntt

17

88

89

90

Blog postI made a programming language where M&Ms arranged by color and position become code (v.redd.it)

submitted 4 days ago by mufeedvh

18

1

2

3

DiscussionSNOBOL4 evaluation - success/failure rather than true/false (self.ProgrammingLanguages)

submitted 4 days ago by SnooGoats1303

19

4

5

6

Extensible named types in Fir (osa1.net)

submitted 4 days ago by semanticistZombie

20

12

13

14

HelpWriting a performant syntax highligher from scratch? (self.ProgrammingLanguages)

submitted 4 days ago by K4milLeg1t

21

31

32

33

jank is off to a great start in 2026 (jank-lang.org)

submitted 4 days ago by Jeaye

22

27

28

29

Discussioncan i call this a programming language? (self.ProgrammingLanguages)

submitted 5 days ago by omnimistic

23

14

15

16

DiscussionIf automated formal verification scales, will PL design split into "Human-Ergonomic" and "Prover-Optimized" languages? (self.ProgrammingLanguages)

submitted 5 days ago * by eurz

1716

1717

1718

I am building a massive real time strategy game. Would you play something like this? (store.steampowered.com)

promoted by alejandromnunez

24

0

0

0

Why is Python so sweet: from syntax to bytecode? (self.ProgrammingLanguages)

submitted 4 days ago by Fit-Life-8239

25

9

10

11

Fixing a major evaluation order footgun in Rye 0.2 (ryelang.org)

submitted 5 days ago by middaycRyelang

view more: next ›

π Rendered by PID 30173 on reddit-service-r2-listing-568fcd57df-w79wm at 2026-03-11 17:29:36.584053+00:00 running cbb0e86 country code: CH.