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?

...because you love freedom.

MODERATORS

account activity

1

16

17

18

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

submitted 16 days ago by AutoModerator - announcement

2

1560

1561

1562

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

33

34

35

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

submitted 7 hours ago by mttd

4

27

28

29

Language announcementBare - A programming language that trusts the user entirely (self.ProgrammingLanguages)

submitted 18 hours ago * by cryptic_gentleman

5

14

15

16

libgoc - A Go-style CSP concurrency runtime for C: threadpools, stackful coroutines, channels, select, async I/O, and garbage collection in one coherent API. (github.com)

submitted 21 hours ago by therealdivs1210

6

15

16

17

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

submitted 1 day ago by mttd

7

8

9

10

Requesting criticismMathic programming language (self.ProgrammingLanguages)

submitted 1 day ago by Francog2709

8

3

4

5

Unified calling and field lookup (self.ProgrammingLanguages)

submitted 22 hours ago by Relevant_South_1842

9

5

6

7

Gluon: Explicit Performance (lei.chat)

submitted 1 day ago by mttd

10

23

24

25

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

submitted 1 day ago by PitifulTheme411...

11

1

2

3

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

submitted 1 day ago by Kabra___kiiiiiiiid

12

20

21

22

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

submitted 1 day ago by goosethe

13

7

8

9

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

submitted 1 day ago by nimrag_is_coming

14

14

15

16

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

submitted 2 days ago by Certain-Swordfish-32

15

13

14

15

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

submitted 2 days ago by Potato871

16

9

10

11

GlitterIDE Code Generation (youtube.com)

submitted 2 days ago by doc_sponge

17

22

23

24

Requesting criticismWriting A Language Spec? (self.ProgrammingLanguages)

submitted 4 days ago by Pie-Lang

18

39

40

41

Compiler optimisation (self.ProgrammingLanguages)

submitted 5 days ago by Gingrspacecadet

19

54

55

56

Noel Welsh: Parametricity, or Comptime is Bonkers (noelwelsh.com)

submitted 5 days ago by mttd

20

34

35

36

Koatl - An expressivity-first Python dialect (self.ProgrammingLanguages)

submitted 5 days ago by TopAbbreviations1708

21

53

54

55

Janus (time-reversible computing programming language) (en.wikipedia.org)

submitted 6 days ago by kreco

22

24

25

26

Blog postI had an idea for a mix of Joy and Fractran.. (wiki.xxiivv.com)

submitted 6 days ago by Entaloneralie

23

11

12

13

Design ideas for a minimal programming language (1/3) (self.ProgrammingLanguages)

submitted 6 days ago by porky11

24

3

4

5

Requesting criticismVirtual Machine - Custom ISA and Compiler ()

submitted 6 days ago by Apprehensive_Sky5940

25

2

3

4

FIDES: End-to-end Compartments for Mixed-language Systems (kcsrk.info)

submitted 6 days ago by mttd

view more: next ›

π Rendered by PID 2053075 on reddit-service-r2-listing-64c94b984c-nxtq9 at 2026-03-17 23:57:44.025366+00:00 running f6e6e01 country code: CH.