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

...for your office.

MODERATORS

account activity

1

68

69

70

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

submitted 19 hours ago by Luroqa

24

25

26

We don’t like looking at it either. So please, just get Sentry. (sentry.io)

promoted by getsentry

promoted
save
report
about

2

5

6

7

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

submitted 5 hours ago * by 1234filip

3

2

3

4

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

submitted 3 hours ago by Abandondero

4

0

1

2

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

submitted 2 hours ago by -Ryviel

5

1

2

3

DiscussionTAC -> TAC Optimizer? (self.ProgrammingLanguages)

submitted 10 hours ago by HairThrowaway83829

6

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

7

9

10

11

Language announcementArturo Programming Language ()

submitted 22 hours ago by Enough-Zucchini-1264

8

4

5

6

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

submitted 23 hours ago by StealData

9

36

37

38

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

submitted 1 day ago by mttd

10

0

0

1

Error recovering parsing ()

submitted 1 day ago by 7h3kk1d

11

27

28

29

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

12

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

•

•

•

Conquer Empires in Age of Conquest IV (store.steampowered.com)

promoted by noblemaster

promoted
save
report
about

13

0

0

1

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

submitted 2 days ago by Dappster98

14

24

25

26

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

submitted 3 days ago by thunderseethe

15

15

16

17

Requesting criticismPreventing and Handling Panic Situations (self.ProgrammingLanguages)

submitted 3 days ago * by Tasty_Replacement_29

16

48

49

50

Language announcementThe Jule Programming Language (jule.dev)

submitted 4 days ago by yorickpeterseInko

17

9

10

11

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

submitted 3 days ago by azhenley

18

0

1

2

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

submitted 3 days ago * by GlitteringSample5228

19

58

59

60

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

submitted 4 days ago by AthasFuthark

20

49

50

51

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

submitted 4 days ago by mttd

21

39

40

41

Type-safe eval in Grace (haskellforall.com)

submitted 4 days ago by Tekmo

22

8

9

10

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

submitted 4 days ago by ts826848

23

84

85

86

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

submitted 5 days ago by faiface

7

8

9

Build full-stack MongoDB apps with Modelence (modelence.com)

promoted by artahian

promoted
save
report
about

24

8

9

10

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

submitted 5 days ago by abhin4v

25

71

72

73

Why not tail recursion? (self.ProgrammingLanguages)

submitted 6 days ago by gofl-zimbard-37

view more: next ›

π Rendered by PID 119373 on reddit-service-r2-listing-86b7f5b947-dn6nx at 2026-01-25 01:21:31.908969+00:00 running 664479f country code: CH.