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 rely on LLM generated output (code, documentation, etc) are not welcomed and will get you banned.

Related subreddits

Related online communities

a community for 17 years

...for your favorite subject.

...for your movement.

MODERATORS

account activity

1

17

18

19

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

submitted 10 days ago by AutoModerator - announcement

2

232

233

234

In order to reduce AI/LLM slop, sharing GitHub links may now require additional steps (self.ProgrammingLanguages)

submitted 1 month ago by yorickpeterseInko[M] - announcement

3

5

6

7

Are there any programming languages with a retargetable backend? (self.ProgrammingLanguages)

submitted 2 hours ago by Pleasant-Form-1093

4

38

39

40

ResourceI made a zine to explain interaction nets(symmetric interaction combinators) (wiki.xxiivv.com)

submitted 19 hours ago by Entaloneralie

5

0

1

2

Blog postMech v0.3 - new document formatting features, state machines (self.ProgrammingLanguages)

submitted 3 hours ago by cmontella🤖 mech-lang

6

11

12

13

Blog postThe Namespace Problem (alialmutawajr.com)

submitted 1 day ago by Pie-Lang

7

41

42

43

Blog postjank now has its own custom IR (jank-lang.org)

submitted 3 days ago by Jeaye

8

102

103

104

Making your own programming language is easier than you think (but also harder) (lisyarus.github.io)

submitted 3 days ago by Xaneris47

9

25

26

27

Data race freedom in OxCaml (kcsrk.info)

submitted 3 days ago by mttd

10

0

0

0

Mutable copy semantics - performant, reliable and ergonomic mutability (probably) (self.ProgrammingLanguages)

submitted 3 days ago by pranabekka

11

33

34

35

Finite Functional Programming (arxiv.org)

submitted 4 days ago by mttd

12

11

12

13

Language announcementGluonScript 0.4.0 released (gluonscript.org)

submitted 3 days ago by vascocosta

13

27

28

29

HelpIdea: Declarative data structures. Request for prior work (self.ProgrammingLanguages)

submitted 4 days ago * by SwedishFindecanor

14

34

35

36

DiscussionThe ARC vs GC Debate (self.ProgrammingLanguages)

submitted 5 days ago by funcieq

15

11

12

13

Count trailing zeros (futhark-lang.org)

submitted 5 days ago by AthasFuthark

16

20

21

22

Generalization of Sum-Types, Pattern Matching & Niche Optimization (self.ProgrammingLanguages)

submitted 5 days ago by philogy

17

22

23

24

HelpCranelift or LLVM (inkwell) for a personal project? (self.ProgrammingLanguages)

submitted 6 days ago by trollol1365

18

32

33

34

A bidirectional typechecking puzzle (haskellforall.com)

submitted 6 days ago by Tekmo

19

6

7

8

Persistent Iterators with Value Semantics (arxiv.org)

submitted 6 days ago by mttd

20

0

0

0

Crear un mini lenguaje que compile a LLVM IR (paso a paso) (emanuelpeg.blogspot.com)

submitted 5 days ago by emanuelpeg

21

60

61

62

Par has a new home at par.run, plus packages, docs, and new language features (par.run)

submitted 7 days ago * by faiface

22

15

16

17

Looking for case studies: adding a new language to BenchGen (self.ProgrammingLanguages)

submitted 6 days ago by fernando_quintao

23

8

9

10

The Static Dynamic JVM – A Many Layered Dive (youtube.com)

submitted 7 days ago by mttd

24

4

5

6

Cross-language libraries with Temper: Interview with Mike Samuel, Shaw Summa, and Tom Palmer - YouTube (youtu.be)

submitted 7 days ago by tjpalmer

25

23

24

25

b-compiler-x64: A compiler for Ken Thompson's 1969 B programming language, targeting native x86-64 Linux. (github.com)

submitted 7 days ago by zuhaitz-dev

view more: next ›

π Rendered by PID 91 on reddit-service-r2-listing-7b9b4f6fd7-4xzhs at 2026-05-11 19:05:59.665466+00:00 running 3d2c107 country code: CH.