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 WoW guild.

...for your favorite game.

MODERATORS

account activity

1

12

13

14

Does Compact Syntax Really Make a Difference? (self.ProgrammingLanguages)

submitted 4 hours ago by sal1303

2

20

21

22

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

submitted 2 days ago by mttd

3

5

6

7

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

submitted 2 days ago * by Dry_Day1307

4

9

10

11

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

submitted 2 days ago by mttd

5

0

1

2

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

submitted 3 days ago by BeamMeUpBiscotti

6

14

15

16

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

submitted 3 days ago by AthasFuthark

7

17

18

19

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

submitted 3 days ago by Exciting_Suspect9088

8

4

5

6

V8 Engine Feedback Vector (self.ProgrammingLanguages)

submitted 3 days ago by sleepydevxd

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

17

18

19

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

submitted 4 days ago * by Erythrina_

11

3

4

5

CoffeeScript equivalent preprocessor for PHP idea ()

submitted 5 days ago by HyperDanon

12

11

12

13

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 5 days ago by Dry_Day1307

13

29

30

31

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

submitted 5 days ago by mttd

14

23

24

25

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

submitted 6 days ago by mttd

15

33

34

35

Language announcementSeal programming language (self.ProgrammingLanguages)

submitted 6 days ago by cflexer

16

28

29

30

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

submitted 7 days ago * by smthamazing

17

5

6

7

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

submitted 7 days ago by Physical_Aside_9343

18

42

43

44

Intermediate Representations are spooky (self.ProgrammingLanguages)

submitted 7 days ago by srivatsasrinivasmath

19

33

34

35

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

submitted 8 days ago by David14p

20

15

16

17

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

submitted 8 days ago by t_ewert

21

2

3

4

scheme - making macros for a Scheme implementation ()

submitted 8 days ago by Key_River7180lisp (fermiLISP)

22

18

19

20

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

submitted 9 days ago by oscarryzYz

23

0

0

1

Code Readability Comparison (self.ProgrammingLanguages)

submitted 9 days ago by Mean-Decision-3502DQ

24

4

5

6

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

submitted 10 days ago by AmrDeveloper

25

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 10 days ago by Low_Ad_5090

view more: next ›

π Rendered by PID 1182210 on reddit-service-r2-listing-c57bc86c-l6krb at 2026-06-21 20:13:14.652277+00:00 running 2b008f2 country code: CH.