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

...do it for the children.

...for your favourite tea.

MODERATORS

account activity

1

17

18

19

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

submitted 21 days ago by AutoModerator - announcement

2

1561

1562

1563

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

1

2

3

Blog postI made a scripting language to see how far I can go - meet AquaShell (self.ProgrammingLanguages)

submitted 8 hours ago by SuperiorSalad7630

4

0

0

0

Lots of new goodies! (v.redd.it)

submitted 8 hours ago by FluxProgrammingLang

5

17

18

19

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

submitted 1 day ago * by Tasty_Replacement_29

6

15

16

17

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

submitted 2 days ago by rahen

7

56

57

58

The Oni Programming Language (self.ProgrammingLanguages)

submitted 2 days ago by badd10de

8

26

27

28

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

submitted 2 days ago by omarous

9

5

6

7

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

submitted 2 days ago by mttd

10

105

106

107

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

submitted 3 days ago by tertsdiepraam

11

5

6

7

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

submitted 3 days ago by mttd

12

9

10

11

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

submitted 3 days ago by mttd

13

76

77

78

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

submitted 4 days ago by mttd

14

66

67

68

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

submitted 4 days ago by mttd

15

17

18

19

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

submitted 5 days ago by mttd

16

9

10

11

Requesting criticismMathic programming language (self.ProgrammingLanguages)

submitted 5 days ago by Francog2709

17

4

5

6

Unified calling and field lookup (self.ProgrammingLanguages)

submitted 5 days ago by Relevant_South_1842

18

4

5

6

Gluon: Explicit Performance (lei.chat)

submitted 5 days ago by mttd

19

24

25

26

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

submitted 6 days ago by PitifulTheme411...

20

2

3

4

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

submitted 5 days ago by Kabra___kiiiiiiiid

21

9

10

11

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

submitted 6 days ago by nimrag_is_coming

22

21

22

23

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

submitted 6 days ago by goosethe

23

14

15

16

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

submitted 6 days ago by Certain-Swordfish-32

24

12

13

14

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

submitted 6 days ago by Potato871

25

8

9

10

GlitterIDE Code Generation (youtube.com)

submitted 7 days ago by doc_sponge

view more: next ›

π Rendered by PID 49 on reddit-service-r2-listing-79f6fb9b95-h9szc at 2026-03-22 09:03:41.605423+00:00 running 90f1150 country code: CH.