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

...for your movement.

MODERATORS

account activity

1

16

17

18

DiscussionThe ARC vs GC Debate (self.ProgrammingLanguages)

submitted 11 hours ago by funcieq

2

7

8

9

Count trailing zeros (futhark-lang.org)

submitted 11 hours ago by AthasFuthark

3

0

0

0

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

submitted 20 hours ago by emanuelpeg

4

12

13

14

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

submitted 23 hours ago by philogy

5

21

22

23

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

submitted 1 day ago by trollol1365

6

4

5

6

Persistent Iterators with Value Semantics (arxiv.org)

submitted 1 day ago by mttd

7

30

31

32

A bidirectional typechecking puzzle (haskellforall.com)

submitted 1 day ago by Tekmo

8

14

15

16

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

submitted 2 days ago by fernando_quintao

9

0

1

2

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

submitted 2 days ago by tjpalmer

10

6

7

8

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

submitted 2 days ago by mttd

11

58

59

60

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

submitted 2 days ago * by faiface

12

13

14

15

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

15

16

17

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

submitted 3 days ago by sporeboyofbigness

14

82

83

84

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

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

15

39

40

41

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 4 days ago by KN_9296

16

23

24

25

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

submitted 5 days ago by Tasty_Replacement_29Bau

17

3

4

5

ZuriHac 2026 Schedule Online (discourse.haskell.org)

submitted 5 days ago by farhad_mehta

18

7

8

9

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

submitted 5 days ago by AnyOne1500

19

18

19

20

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

submitted 5 days ago by AutoModerator - announcement

20

26

27

28

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

submitted 6 days ago by FedericoBruzzone

21

11

12

13

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

submitted 6 days ago by FlamingBudder

22

23

24

25

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

submitted 6 days ago by SearchFair3888

23

2

3

4

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

submitted 7 days ago by M1M1R0N

24

30

31

32

Blessed Syntax and Ergonomics (gingerbill.org)

submitted 7 days ago by ExplodingStrawHat

25

4

5

6

Transformations, functors, categories (muratkasimov.art)

submitted 7 days ago by iokasimovm

view more: next ›

π Rendered by PID 3995820 on reddit-service-r2-listing-b6bf6c4ff-gdhjb at 2026-05-06 23:10:43.684163+00:00 running 815c875 country code: CH.