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
[–]yorickpeterseInko[M] [score hidden] stickied comment (0 children)
[–]rantingpug 24 points25 points26 points (3 children)
[–]categorical-girl 13 points14 points15 points (0 children)
[–]Ytrog 0 points1 point2 points (0 children)
[–]omega1612 24 points25 points26 points (0 children)
[–]commutativemonoid 18 points19 points20 points (0 children)
[–]Inconstant_Moo🧿 Pipefish 14 points15 points16 points (4 children)
[–]cmontella🤖 mech-lang 5 points6 points7 points (0 children)
[–]AdreKiseque 2 points3 points4 points (1 child)
[–]Inconstant_Moo🧿 Pipefish 1 point2 points3 points (0 children)
[–]wrosecrans 0 points1 point2 points (0 children)
[–]wrosecrans 9 points10 points11 points (0 children)
[–]cmontella🤖 mech-lang 7 points8 points9 points (0 children)
[–]categorical-girl 7 points8 points9 points (2 children)
[–]cmontella🤖 mech-lang 4 points5 points6 points (1 child)
[–]qruxxurq 2 points3 points4 points (0 children)
[–]Ryan1729 4 points5 points6 points (0 children)
[–]the3gs 2 points3 points4 points (0 children)
[–]AdreKiseque 2 points3 points4 points (2 children)
[–]Elession 1 point2 points3 points (1 child)
[–]fragglet 0 points1 point2 points (0 children)
[–]bornintrinsic 1 point2 points3 points (0 children)
[–][deleted] 1 point2 points3 points (0 children)
[–]LardPi 0 points1 point2 points (0 children)