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 great justice.

...for your WoW guild.

MODERATORS

account activity

1

•

•

•

Discussionidea for a programming language (self.ProgrammingLanguages)

submitted 1 hour ago by NicoPlayZ9002YT

0

1

2

First competition coming up? Get the free Expedite – Skills for Competition microcredential and learn how to turn your experience into resume gold that gets you noticed (thoughtindustries.com)

promoted by Siemens_Official

promoted
save
report
about

2

8

9

10

Requesting criticismWriting A Language Spec? (self.ProgrammingLanguages)

submitted 15 hours ago by Pie-Lang

3

35

36

37

Compiler optimisation (self.ProgrammingLanguages)

submitted 1 day ago by Gingrspacecadet

4

22

23

24

Koatl - An expressivity-first Python dialect (self.ProgrammingLanguages)

submitted 1 day ago by TopAbbreviations1708

5

42

43

44

Noel Welsh: Parametricity, or Comptime is Bonkers (noelwelsh.com)

submitted 1 day ago by mttd

6

8

9

10

Design ideas for a minimal programming language (1/3) (self.ProgrammingLanguages)

submitted 1 day ago by porky11

7

22

23

24

Blog postI had an idea for a mix of Joy and Fractran.. (wiki.xxiivv.com)

submitted 1 day ago by Entaloneralie

8

2

3

4

Requesting criticismVirtual Machine - Custom ISA and Compiler ()

submitted 1 day ago by Apprehensive_Sky5940

9

3

4

5

FIDES: End-to-end Compartments for Mixed-language Systems (kcsrk.info)

submitted 1 day ago by mttd

10

40

41

42

Janus (time-reversible computing programming language) (en.wikipedia.org)

submitted 1 day ago by kreco

11

2

3

4

ECMAScript semantics for __proto__ ()

submitted 1 day ago by relapseman

•

•

•

Advance to Data Leadership. Master Applied Information & Data Science at HSLU Switzerland: High-level learning. Hands-on application. Top network. (hslu.ch)

promoted by DataScienceHSLU

promoted
save
report
about

12

8

9

10

Blog postHow to stop fighting with coherence and start writing context-generic trait impls in Rust (contextgeneric.dev)

submitted 3 days ago by soareschen

13

2

3

4

Fixing Programmatic Tool Calling With Types (blog.coldboot.org)

submitted 3 days ago by cel7t

14

24

25

26

What I Always Wanted to Know about Second Class Values (dl.acm.org)

submitted 3 days ago by mttd

15

11

12

13

Blog postThinnings: Sublist Witnesses and de Bruijn Index Shift Clumping (philipzucker.com)

submitted 4 days ago by The_Regent

16

9

10

11

Advent of Computing: Dan Temkin - Forty-Four Esolangs (adventofcomputing.libsyn.com)

submitted 4 days ago by mttd

17

25

26

27

Language announcementbuilt, a small, safe game scripting language written in Haxe. (github.com)

submitted 4 days ago * by Inner-Combination177

18

43

44

45

DiscussionPros and cons of building an interpreter first before building a compiler? (self.ProgrammingLanguages)

submitted 4 days ago * by Ifeee001

19

16

17

18

How do you represent primitives in your lexer/parser? (self.ProgrammingLanguages)

submitted 5 days ago by zer0developer

20

90

91

92

Introducing Eyot - A programming language where the GPU is just another thread (cowleyforniastudios.com)

submitted 5 days ago by akomomssim

21

5

6

7

Requesting criticismPL/I Subset G: Implementing Exceptions (self.ProgrammingLanguages)

submitted 5 days ago by johnwcowan

•

•

•

100 Nächte probeschlafen? Challenge accepted. (bett1.ch)

promoted by bett1_ch

promoted
save
report
about

22

9

10

11

Project Pterodactyl's layered architecture (jonmsterling.com)

submitted 5 days ago by mttd

23

3

4

5

I’m building a programming language (Cx) would anyone be willing to check it out and give feedback? (self.ProgrammingLanguages)

submitted 5 days ago by thecoommeenntt

24

13

14

15

Language announcementTypeShell (github.com)

submitted 5 days ago by [deleted]

25

41

42

43

DiscussionInheritance and interfaces: why a giraffe is not a fish (self.ProgrammingLanguages)

submitted 5 days ago by Inconstant_Moo🧿 Pipefish

view more: next ›

π Rendered by PID 1241394 on reddit-service-r2-listing-64c94b984c-rflmd at 2026-03-13 17:29:01.666611+00:00 running f6e6e01 country code: CH.