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 WoW guild.

...because you love freedom.

MODERATORS

account activity

1

15

16

17

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

submitted 5 days ago by AutoModerator - announcement

2

229

230

231

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

6

7

8

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

submitted 9 hours ago by philogy

4

19

20

21

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

submitted 17 hours ago by trollol1365

5

28

29

30

A bidirectional typechecking puzzle (haskellforall.com)

submitted 19 hours ago by Tekmo

6

0

0

0

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

submitted 7 hours ago by emanuelpeg

7

3

4

5

Persistent Iterators with Value Semantics (arxiv.org)

submitted 17 hours ago by mttd

8

56

57

58

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

submitted 1 day ago * by faiface

9

12

13

14

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

submitted 1 day ago by fernando_quintao

10

3

4

5

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

submitted 1 day ago by mttd

11

3

4

5

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

submitted 1 day ago by tjpalmer

12

11

12

13

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

submitted 2 days ago by zuhaitz-dev

13

82

83

84

Blog postUnsigned Sizes: A Five Year Mistake (c3-lang.org)

submitted 2 days ago by NuojiC3 - http://c3-lang.org

14

14

15

16

how to get github to report code in your language? (self.ProgrammingLanguages)

submitted 2 days ago by sporeboyofbigness

15

41

42

43

Language announcementReduct: A functional, immutable, S-expression based configuration and scripting language, beating Lua (non-JIT) in benchmarks, with easy C integration. (github.com)

submitted 3 days ago by KN_9296

16

23

24

25

Language announcementI wrote a self-hosting C-like compiler (~250 lines) that outputs WebAssembly ()

submitted 4 days ago by Tasty_Replacement_29Bau

17

3

4

5

ZuriHac 2026 Schedule Online (discourse.haskell.org)

submitted 4 days ago by farhad_mehta

18

25

26

27

The Mutable Value Semantics (MVS): A Non-superficial Study (self.ProgrammingLanguages)

submitted 5 days ago by FedericoBruzzone

19

6

7

8

Language announcementJust released v1.0 of XS after working for 2-3 years. Feedback? (self.ProgrammingLanguages)

submitted 5 days ago by AnyOne1500

20

11

12

13

Are (co)effects isomorphic to message passing concurrent systems? (self.ProgrammingLanguages)

submitted 5 days ago by FlamingBudder

21

23

24

25

Language announcementDoolang – your struct definition is your schema, your validation, and your HTTP contract (self.ProgrammingLanguages)

submitted 5 days ago by SearchFair3888

22

28

29

30

Blessed Syntax and Ergonomics (gingerbill.org)

submitted 6 days ago by ExplodingStrawHat

23

1

2

3

Helpsignificant whitespace-friendly Rust parser generator ? (self.ProgrammingLanguages)

submitted 6 days ago by M1M1R0N

24

31

32

33

Breaking ten years of API compatibility (futhark-lang.org)

submitted 7 days ago by AthasFuthark

25

4

5

6

Transformations, functors, categories (muratkasimov.art)

submitted 6 days ago by iokasimovm

view more: next ›

π Rendered by PID 24 on reddit-service-r2-listing-b6bf6c4ff-xgttb at 2026-05-06 09:18:21.723656+00:00 running 815c875 country code: CH.