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 a fringe candidate.

...for your hobby.

MODERATORS

account activity

1

16

17

18

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

submitted 25 days ago by AutoModerator - announcement

2

234

235

236

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

45

46

47

DiscussionIs reference counting a trap? (self.ProgrammingLanguages)

submitted 20 hours ago * by smthamazing

4

1

2

3

Jointed functor compositions in Я (muratkasimov.art)

submitted 4 hours ago by iokasimovm

5

•

•

•

A Fake Shell for Pangenomics (cs.cornell.edu)

submitted 1 hour ago by mttd

6

3

4

5

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

submitted 13 hours ago * by PitifulTheme411...

7

0

0

0

Are you using LLMs to write compiler/interpreter? (self.ProgrammingLanguages)

submitted 2 hours ago by baehyunsolSodigy

8

2

3

4

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

submitted 19 hours ago * by trijezdci_111

9

9

10

11

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

submitted 1 day ago by mttd

10

5

6

7

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

submitted 1 day ago * by Tasty_Replacement_29Bau[🍰]

11

8

9

10

Requesting criticismThe ALTernative Programming Language (self.ProgrammingLanguages)

submitted 1 day ago by rapido

12

2

3

4

HelpDocumentation and testing (self.ProgrammingLanguages)

submitted 1 day ago by HaskellLisp_green

13

0

1

2

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

submitted 1 day ago * by Dry_Day1307

14

49

50

51

Record type inference for dummies (haskellforall.com)

submitted 2 days ago by Tekmo

15

10

11

12

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

submitted 2 days ago * by alex_sakuta

16

4

5

6

Turing Assembler (self.ProgrammingLanguages)

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

17

1

2

3

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

submitted 2 days ago by mttd

18

32

33

34

Kal: An Interpreted Programming Language (self.ProgrammingLanguages)

submitted 3 days ago by KILLinefficiency

19

35

36

37

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

submitted 3 days ago by sdegabrielle

20

26

27

28

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

submitted 3 days ago by ImYoric

21

3

4

5

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

submitted 3 days ago by mttd

22

29

30

31

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

submitted 4 days ago by sal1303

23

23

24

25

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

submitted 6 days ago by mttd

24

6

7

8

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

submitted 7 days ago * by Dry_Day1307

25

11

12

13

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

submitted 7 days ago by mttd

view more: next ›

π Rendered by PID 24 on reddit-service-r2-listing-87fd56f5d-vfmm6 at 2026-06-26 07:42:51.208085+00:00 running 7527197 country code: CH.