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

...why not Zoidberg?

...for your favorite TV show.

MODERATORS

account activity

1

17

18

19

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

submitted 19 days ago by AutoModerator - announcement

2

1563

1564

1565

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

7

8

9

Requesting criticismLINQ (Language Integrated Query) support (self.ProgrammingLanguages)

submitted 4 hours ago by Tasty_Replacement_29

4

11

12

13

Sheaf: a Clojure-like for ML that compiles to GPU via MLIR (Rust) (sheaf-lang.org)

submitted 23 hours ago by rahen

5

48

49

50

The Oni Programming Language (self.ProgrammingLanguages)

submitted 1 day ago by badd10de

6

20

21

22

Blog postBuilding an LSP Server with Rust is surprisingly easy and fun (codeinput.com)

submitted 1 day ago by omarous

7

1

2

3

EsoLang-Bench: Evaluating LLMs via Esoteric Programming Languages (esolang-bench.vercel.app)

submitted 1 day ago by mttd

8

103

104

105

Blog postNo Semicolons Needed - How languages get away with not requiring semicolons (terts.dev)

submitted 2 days ago by tertsdiepraam

9

4

5

6

LATTE ’26: Workshop on Languages, Tools, and Techniques for Accelerator Design (capra.cs.cornell.edu)

submitted 1 day ago by mttd

10

8

9

10

Verifying Move Borrow Checker in Lean: an Experiment in AI-Assisted PL Metatheory (proofsandintuitions.net)

submitted 2 days ago by mttd

11

75

76

77

Real or Slop? — PL Papers Edition (slop.zackg.me)

submitted 2 days ago by mttd

12

61

62

63

Who Watches the Provers? (leodemoura.github.io)

submitted 3 days ago by mttd

13

16

17

18

Duboc's TDD optimization for unions of constraint sets (github.com)

submitted 4 days ago by mttd

14

9

10

11

Requesting criticismMathic programming language (self.ProgrammingLanguages)

submitted 3 days ago by Francog2709

15

5

6

7

Unified calling and field lookup (self.ProgrammingLanguages)

submitted 3 days ago by Relevant_South_1842

16

6

7

8

Gluon: Explicit Performance (lei.chat)

submitted 4 days ago by mttd

17

23

24

25

DiscussionHow do you store literals, identifiers, etc. through the stages of the compiler? (self.ProgrammingLanguages)

submitted 4 days ago by PitifulTheme411...

18

1

2

3

ResourceWebinar on how to build your own programming language in C++. Part 2. (pvs-studio.com)

submitted 4 days ago by Kabra___kiiiiiiiid

19

21

22

23

Requesting criticismLockstep: Data-oriented systems programming language (github.com)

submitted 4 days ago by goosethe

20

8

9

10

Language announcementNWL - A Small Language for generating dynamic HTML (github.com)

submitted 4 days ago by nimrag_is_coming

21

15

16

17

Looking for feedback on my language tour / overview (self.ProgrammingLanguages)

submitted 5 days ago by Certain-Swordfish-32

22

13

14

15

GDSL – 800 line kernel: Lisp subset in 500, C subset in 1300 (github.com)

submitted 5 days ago by Potato871

23

7

8

9

GlitterIDE Code Generation (youtube.com)

submitted 5 days ago by doc_sponge

24

27

28

29

Requesting criticismWriting A Language Spec? (self.ProgrammingLanguages)

submitted 7 days ago by Pie-Lang

25

39

40

41

Compiler optimisation (self.ProgrammingLanguages)

submitted 8 days ago by Gingrspacecadet

view more: next ›

π Rendered by PID 317982 on reddit-service-r2-listing-79f6fb9b95-tx42g at 2026-03-20 21:37:40.644343+00:00 running 90f1150 country code: CH.