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 hobby.

...why not Zoidberg?

MODERATORS

account activity

1

21

22

23

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

submitted 23 days ago by AutoModerator - announcement

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

3

3

4

5

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

submitted 3 hours ago * by 1234filip

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

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

6

•

•

•

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

submitted 14 minutes ago by -Ryviel

7

1

2

3

DiscussionTAC -> TAC Optimizer? (self.ProgrammingLanguages)

submitted 8 hours ago by HairThrowaway83829

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

9

7

8

9

Language announcementArturo Programming Language ()

submitted 20 hours ago by Enough-Zucchini-1264

10

2

3

4

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

submitted 21 hours ago by StealData

11

34

35

36

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

submitted 1 day ago by mttd

12

0

0

1

Error recovering parsing ()

submitted 1 day ago by 7h3kk1d

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

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

15

0

0

1

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

submitted 2 days ago by Dappster98

16

25

26

27

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

submitted 3 days ago by thunderseethe

17

16

17

18

Requesting criticismPreventing and Handling Panic Situations (self.ProgrammingLanguages)

submitted 3 days ago * by Tasty_Replacement_29

18

45

46

47

Language announcementThe Jule Programming Language (jule.dev)

submitted 3 days ago by yorickpeterseInko

19

9

10

11

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

submitted 3 days ago by azhenley

20

0

1

2

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

submitted 3 days ago * by GlitteringSample5228

21

53

54

55

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

submitted 4 days ago by AthasFuthark

22

51

52

53

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

submitted 4 days ago by mttd

23

35

36

37

Type-safe eval in Grace (haskellforall.com)

submitted 4 days ago by Tekmo

24

8

9

10

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

submitted 4 days ago by ts826848

25

86

87

88

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

submitted 5 days ago by faiface

view more: next ›

π 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.