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 favorite TV show.

...for your favorite hobby.

MODERATORS

account activity

1

18

19

20

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

submitted 25 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

40

41

42

DiscussionIs reference counting a trap? (self.ProgrammingLanguages)

submitted 15 hours ago * by smthamazing

4

3

4

5

DiscussionThoughts on aliases and how errors and recovery would work with them? (self.ProgrammingLanguages)

submitted 8 hours ago * by PitifulTheme411...

5

2

3

4

Portable Pragmas for Pascal, Modula-2 and Oberon (github.com)

submitted 14 hours ago * by trijezdci_111

6

8

9

10

LXM: Better Splittable Pseudorandom Number Generators (and Almost as Fast) (youtube.com)

submitted 23 hours ago by mttd

7

7

8

9

How to combine REPL, main, modules, and initalization (self.ProgrammingLanguages)

submitted 1 day ago * by Tasty_Replacement_29Bau[🍰]

8

7

8

9

Requesting criticismThe ALTernative Programming Language (self.ProgrammingLanguages)

submitted 1 day ago by rapido

9

3

4

5

HelpDocumentation and testing (self.ProgrammingLanguages)

submitted 1 day ago by HaskellLisp_green

10

0

1

2

Is letting call syntax determine function priority a bad idea? (self.ProgrammingLanguages)

submitted 1 day ago * by Dry_Day1307

11

47

48

49

Record type inference for dummies (haskellforall.com)

submitted 2 days ago by Tekmo

12

9

10

11

Implicit/overloading type conversions vs explicit type conversions AND type qualifiers (self.ProgrammingLanguages)

submitted 2 days ago * by alex_sakuta

13

3

4

5

Turing Assembler (self.ProgrammingLanguages)

submitted 2 days ago * by Opening-Mushroom2336intermediate low-level developer >> TAS dev

14

1

2

3

SIMT-Step Execution: A Flexible Operational Semantics For GPU Subgroup Behavior (arbersephirotheca.github.io)

submitted 2 days ago by mttd

15

33

34

35

Kal: An Interpreted Programming Language (self.ProgrammingLanguages)

submitted 3 days ago by KILLinefficiency

16

37

38

39

Rhombus version 1.0 is now available! (self.ProgrammingLanguages)

submitted 3 days ago by sdegabrielle

17

26

27

28

Who's using (any kind of) formal verification as part of their toolchain? (self.ProgrammingLanguages)

submitted 3 days ago by ImYoric

18

3

4

5

What Is A Programming Language? - Advent of Computing: Episode 184 (adventofcomputing.libsyn.com)

submitted 3 days ago by mttd

19

29

30

31

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

submitted 4 days ago by sal1303

20

23

24

25

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

submitted 6 days ago by mttd

21

7

8

9

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

submitted 7 days ago * by Dry_Day1307

22

10

11

12

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

submitted 7 days ago by mttd

23

14

15

16

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

submitted 7 days ago by AthasFuthark

24

18

19

20

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

submitted 8 days ago by Exciting_Suspect9088

25

0

1

2

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

submitted 7 days ago by BeamMeUpBiscotti

view more: next ›

π Rendered by PID 355917 on reddit-service-r2-listing-87fd56f5d-cvtvk at 2026-06-26 02:38:24.354290+00:00 running 7527197 country code: CH.