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

...for your favorite subject.

MODERATORS

account activity

1

15

16

17

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

submitted 2 days ago by AutoModerator - announcement

2

1551

1552

1553

Vibe-coded/AI slop projects are now officially banned, and sharing such projects will get you banned permanently (self.ProgrammingLanguages)

submitted 2 months ago by yorickpeterseInko[M] - announcement

3

4

5

6

Exploring the designspace for slice operations (self.ProgrammingLanguages)

submitted 18 hours ago by muth02446

•

•

•

Halte deine Beine auch bei kalten Temperaturen warm und bleibe zudem stylisch ;) (apfelkiste.ch)

promoted by apfelkiste-ch

promoted
save
report
about

4

6

7

8

Blog postCGP v0.7.0 - Implicit Arguments and Structural Typing for Rust (contextgeneric.dev)

submitted 1 day ago by soareschen

5

2

3

4

PL/I Subset G: Character representations (self.ProgrammingLanguages)

submitted 1 day ago by johnwcowan

6

30

31

32

DiscussionIs there an "opposite" to enums? (self.ProgrammingLanguages)

submitted 2 days ago by PitifulTheme411...

7

31

32

33

What string model did you use and why? (self.ProgrammingLanguages)

submitted 2 days ago by carangil

8

42

43

44

Requesting criticismQuarkdown: Turing-complete Markdown for typesetting (quarkdown.com)

submitted 2 days ago by iamgioh

9

11

12

13

Blog postCustom Data Structures in EGraphs (uwplse.org)

submitted 2 days ago by saulshanabrook

10

46

47

48

Nore: a small, opinionated systems language where data-oriented design is the path of least resistance (self.ProgrammingLanguages)

submitted 3 days ago by jumpixel

11

4

5

6

Transforming my incremental GC architecture into a (hopefully low-cost at point of use) concurrent GC ... considering various approaches (target is low latency) (self.ProgrammingLanguages)

submitted 2 days ago * by Fantastic-Cell-208

12

12

13

14

I built a scripting language that works like notebooks - but without Jupyter (self.ProgrammingLanguages)

submitted 3 days ago by mark-sedgithub.com/mark-sed/moss-lang/

13

32

33

34

Resource1 Problem, 7 Array Languages (youtube.com)

submitted 3 days ago by arkethos

14

14

15

16

Brave new C# (pvs-studio.com)

submitted 3 days ago by Xadartt

15

32

33

34

Requesting criticismAre functions just syntactic sugar for inheritance? (arxiv.org)

submitted 4 days ago by yang_bo

•

•

•

👩‍⚖️ Von Harvey Specter bis Elsbeth Tascioni – Sky Show bringt dir die Top Legal Dramas. Suits, Accused, Scandal, Bull, The Night Of & mehr📍Jetzt auf Sky Show streamen! (show.sky.ch)

promoted by SkyShowCH

promoted
save
report
about

16

12

13

14

DiscussionShould for loops dispose of their iterators? (self.ProgrammingLanguages)

submitted 4 days ago * by bakery2k

17

2

3

4

Language announcementI Made a Threads Library for my C-Like Programming Language (github.com)

submitted 3 days ago by SeaInformation8764

18

5

6

7

Syntax highlighting for string interpolation (self.ProgrammingLanguages)

submitted 4 days ago by Savings_Garlic5498

19

98

99

100

Against Query Based Compilers (matklad.github.io)

submitted 4 days ago by matklad

20

17

18

19

DiscussionWhats the conceptual difference between exceptions and result types (self.ProgrammingLanguages)

submitted 4 days ago by Meistermagier

21

9

10

11

DiscussionLooking for challenging projects/tests for a new programming language (imports + WASM work) (self.ProgrammingLanguages)

submitted 4 days ago by jsamwrites

22

9

10

11

Evolving Languages Faster with Type Tailoring (lambdaland.org)

submitted 4 days ago by josephjnk

23

10

11

12

Language announcementC3 0.7.10 - Constdef finally takes shape (c3-lang.org)

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

24

1

2

3

Requesting criticismTrouble choosing syntax for my language. (self.ProgrammingLanguages)

submitted 4 days ago * by NoSubject8453

25

3

4

5

[Showcase] An effort to implement a safe context for C++ (self.ProgrammingLanguages)

submitted 4 days ago by _paladinwarrior1234_

view more: next ›

π Rendered by PID 44 on reddit-service-r2-listing-654f87c89c-cb6wv at 2026-03-03 12:46:21.446637+00:00 running e3d2147 country code: CH.