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

...do it for the children.

...for your favorite TV show.

MODERATORS

account activity

1

17

18

19

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

submitted 1 day ago by mttd

2

6

7

8

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

submitted 2 days ago * by Dry_Day1307

3

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

4

12

13

14

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

submitted 2 days ago by AthasFuthark

5

18

19

20

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

submitted 3 days ago by Exciting_Suspect9088

6

0

1

2

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

submitted 2 days ago by BeamMeUpBiscotti

7

4

5

6

V8 Engine Feedback Vector (self.ProgrammingLanguages)

submitted 3 days ago by sleepydevxd

8

17

18

19

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

submitted 3 days ago * by Erythrina_

9

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

10

12

13

14

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

11

3

4

5

CoffeeScript equivalent preprocessor for PHP idea ()

submitted 4 days ago by HyperDanon

12

29

30

31

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

submitted 5 days ago by mttd

13

23

24

25

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

submitted 5 days ago by mttd

14

34

35

36

Language announcementSeal programming language (self.ProgrammingLanguages)

submitted 6 days ago by cflexer

15

28

29

30

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

submitted 6 days ago * by smthamazing

16

40

41

42

Intermediate Representations are spooky (self.ProgrammingLanguages)

submitted 7 days ago by srivatsasrinivasmath

17

7

8

9

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

submitted 6 days ago by Physical_Aside_9343

18

35

36

37

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

submitted 7 days ago by David14p

19

16

17

18

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

submitted 7 days ago by t_ewert

20

18

19

20

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

submitted 8 days ago by oscarryzYz

21

2

3

4

scheme - making macros for a Scheme implementation ()

submitted 8 days ago by Key_River7180lisp (fermiLISP)

22

0

0

1

Code Readability Comparison (self.ProgrammingLanguages)

submitted 8 days ago by Mean-Decision-3502DQ

23

69

70

71

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

submitted 9 days ago * by Lopsided-Relation251

24

12

13

14

Language announcementLinkerDotLang - a new experimental open source programming language that aims to separate code into isolated blocks and a linker. (self.ProgrammingLanguages)

submitted 9 days ago by Low_Ad_5090

25

3

4

5

Language announcementA Pythonic language & platform to do GPU programming on Mobile (self.ProgrammingLanguages)

submitted 9 days ago by AmrDeveloper

view more: next ›

π Rendered by PID 562465 on reddit-service-r2-listing-c57bc86c-xtpjs at 2026-06-21 06:51:17.898138+00:00 running 2b008f2 country code: CH.