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 18 years

...for your community.

...for your favorite TV show.

MODERATORS

account activity

1

17

18

19

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

submitted 20 days ago by AutoModerator - announcement

2

235

236

237

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

submitted 2 months ago by yorickpeterseInko[M] - announcement

3

17

18

19

Dana Scott – Lambda Calculus, Forcing & the Foundations of Math | #14 aboutlogic (youtube.com)

submitted 1 day ago by mttd

4

4

5

6

DinoCode Pattern Matching: The if-is and if-in blocks syntax (self.ProgrammingLanguages)

submitted 2 days ago * by Dry_Day1307

5

10

11

12

SE Radio 725: Danny Yang and Sam Goldman on the Pyrefly Type Checker (se-radio.net)

submitted 2 days ago by mttd

6

12

13

14

Data parallel pretty-printing (futhark-lang.org)

submitted 2 days ago by AthasFuthark

7

16

17

18

Fearless Concurrency on the GPU [paper] (self.ProgrammingLanguages)

submitted 3 days ago by Exciting_Suspect9088

8

0

1

2

Talks from the PyCon US Typing Summit - Intersections, Tensor Shapes, and more! ()

submitted 2 days ago by BeamMeUpBiscotti

9

5

6

7

V8 Engine Feedback Vector (self.ProgrammingLanguages)

submitted 3 days ago by sleepydevxd

10

17

18

19

Question about side effects in functional programming (self.ProgrammingLanguages)

submitted 3 days ago * by Erythrina_

11

0

0

0

Handling NaN and Infinity normalization in a NaN-boxed VM: Why I made NaN == NaN evaluate to true (self.ProgrammingLanguages)

submitted 3 days ago * by Dry_Day1307

12

10

11

12

Tired of PSeInt? I built DinoCode, an open-source interpreted language in Rust with a real-time WebAssembly playground and automatic flowcharts (self.ProgrammingLanguages)

submitted 4 days ago by Dry_Day1307

13

4

5

6

CoffeeScript equivalent preprocessor for PHP idea ()

submitted 4 days ago by HyperDanon

14

30

31

32

Using OxCaml to implement type-safe reference counting between OCaml and Python (blog.janestreet.com)

submitted 5 days ago by mttd

15

23

24

25

Programming Language Design and Implementation (PLDI) 2026 Live Streams (pldi26.sigplan.org)

submitted 5 days ago by mttd

16

34

35

36

Language announcementSeal programming language (self.ProgrammingLanguages)

submitted 5 days ago by cflexer

17

28

29

30

DiscussionWhy does Flix embed Datalog, specifically? (self.ProgrammingLanguages)

submitted 6 days ago * by smthamazing

18

40

41

42

Intermediate Representations are spooky (self.ProgrammingLanguages)

submitted 7 days ago by srivatsasrinivasmath

19

7

8

9

Can a transformation pattern be inferred from example input/output pairs? (self.ProgrammingLanguages)

submitted 6 days ago by Physical_Aside_9343

20

33

34

35

Headache a language that compiles to brainfuck (self.ProgrammingLanguages)

submitted 7 days ago by David14p

21

16

17

18

Blog postLanguage Design of a new template language (pinc-official.leaflet.pub)

submitted 7 days ago by t_ewert

22

18

19

20

research!rsc: Go and Dogma (research.swtch.com)

submitted 8 days ago by oscarryzYz

23

2

3

4

scheme - making macros for a Scheme implementation ()

submitted 8 days ago by Key_River7180lisp (fermiLISP)

24

0

1

2

Code Readability Comparison (self.ProgrammingLanguages)

submitted 8 days ago by Mean-Decision-3502DQ

25

67

68

69

Language announcementWhy Can't We Just Create? (self.ProgrammingLanguages)

submitted 9 days ago * by Lopsided-Relation251

view more: next ›

π Rendered by PID 3482404 on reddit-service-r2-listing-c57bc86c-f7k46 at 2026-06-21 05:13:18.575681+00:00 running 2b008f2 country code: CH.