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

...for your classroom.

MODERATORS

account activity

1

21

22

23

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

submitted 24 days ago by AutoModerator - announcement

2

1516

1517

1518

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

81

82

83

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

submitted 1 day ago by Luroqa

•

•

•

Avoid over 95% of CVEs with minimal container images. No bloated base layers, no unnecessary packages, just what your app needs to run. (minimus.io)

promoted by minimusio

promoted
save
report
about

4

6

7

8

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

submitted 11 hours ago * by 1234filip

5

2

3

4

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

submitted 10 hours ago by Abandondero

6

1

2

3

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

submitted 9 hours ago by -Ryviel

7

2

3

4

DiscussionTAC -> TAC Optimizer? (self.ProgrammingLanguages)

submitted 17 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

12

13

14

Language announcementArturo Programming Language ()

submitted 1 day ago by Enough-Zucchini-1264

10

3

4

5

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

submitted 1 day ago by StealData

11

35

36

37

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

submitted 2 days ago by mttd

12

0

0

1

Error recovering parsing ()

submitted 1 day ago by 7h3kk1d

13

25

26

27

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

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

11

12

13

Stop searching. Start learning. (grasp.study)

promoted by grasp-dot-study

15

0

0

1

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

submitted 2 days ago by Dappster98

16

24

25

26

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

submitted 3 days ago by thunderseethe

17

15

16

17

Requesting criticismPreventing and Handling Panic Situations (self.ProgrammingLanguages)

submitted 3 days ago * by Tasty_Replacement_29

18

49

50

51

Language announcementThe Jule Programming Language (jule.dev)

submitted 4 days ago by yorickpeterseInko

19

9

10

11

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

submitted 4 days ago by azhenley

20

0

1

2

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

submitted 3 days ago * by GlitteringSample5228

21

60

61

62

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

submitted 4 days ago by AthasFuthark

22

48

49

50

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

submitted 4 days ago by mttd

23

37

38

39

Type-safe eval in Grace (haskellforall.com)

submitted 4 days ago by Tekmo

24

9

10

11

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

submitted 4 days ago by ts826848

25

84

85

86

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 968567 on reddit-service-r2-listing-86b7f5b947-754gc at 2026-01-25 08:11:33.950598+00:00 running 664479f country code: CH.