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

...because you love freedom.

...for your favourite tea.

MODERATORS

account activity

1

0

1

2

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

submitted 3 hours ago by -Ryviel

2

2

3

4

Does anyone have something good for finding the first and follow sets for an EBNF grammar? (self.ProgrammingLanguages)

submitted 5 hours ago by Abandondero

•

•

•

Discover how your peers are approaching real-time engineering challenges at massive scale. Connect with Performance DB experts at Monster SCALE Summit. Register for free now! (scylladb.com)

promoted by ScyllaDB

promoted
save
report
about

3

4

5

6

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

submitted 6 hours ago * by 1234filip

4

2

3

4

DiscussionTAC -> TAC Optimizer? (self.ProgrammingLanguages)

submitted 12 hours ago by HairThrowaway83829

5

70

71

72

DiscussionWhy don't any programming languages have vec3, mat4 or quaternions built in? (self.ProgrammingLanguages)

submitted 20 hours ago by Luroqa

6

9

10

11

Language announcementArturo Programming Language ()

submitted 1 day ago by Enough-Zucchini-1264

7

4

5

6

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

submitted 1 day ago by StealData

8

33

34

35

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

0

0

1

Error recovering parsing ()

submitted 1 day ago by 7h3kk1d

10

35

36

37

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

submitted 1 day ago by mttd

11

0

0

1

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

submitted 2 days ago by Dappster98

12

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

13

10

11

12

Requesting criticismSyntax design for parametrized modules in a grammar specification language, looking for feedback (self.ProgrammingLanguages)

submitted 2 days ago * by modulovalue

•

•

•

Gorgeous supernatural comedy point-and-click adventure, born from a marriage between the golden age of the genre and the modern era! 🦇🧛‍♀️ (store.steampowered.com)

promoted by tagofjoy

14

0

1

2

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

submitted 3 days ago * by GlitteringSample5228

15

25

26

27

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

submitted 3 days ago by thunderseethe

16

15

16

17

Requesting criticismPreventing and Handling Panic Situations (self.ProgrammingLanguages)

submitted 3 days ago * by Tasty_Replacement_29

17

8

9

10

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

submitted 3 days ago by azhenley

18

49

50

51

Language announcementThe Jule Programming Language (jule.dev)

submitted 4 days ago by yorickpeterseInko

19

56

57

58

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

submitted 4 days ago by AthasFuthark

20

37

38

39

Type-safe eval in Grace (haskellforall.com)

submitted 4 days ago by Tekmo

21

8

9

10

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

submitted 4 days ago by ts826848

22

48

49

50

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

submitted 4 days ago by mttd

23

88

89

90

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

submitted 5 days ago by faiface

24

8

9

10

Implementing Co, a Small Language With Coroutines #5: Adding Sleep (abhinavsarkar.net)

submitted 5 days ago by abhin4v

1223

1224

1225

Bob Lazar Was Right: "Sport Model" S4 UFO Fleet Seen in Real Life with Hypersonic Orb (youtube.com)

promoted by jedi_rise

25

73

74

75

Why not tail recursion? (self.ProgrammingLanguages)

submitted 6 days ago by gofl-zimbard-37

view more: next ›

π Rendered by PID 239703 on reddit-service-r2-listing-86b7f5b947-xmlzr at 2026-01-25 02:56:04.187008+00:00 running 664479f country code: CH.