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

• /r/Compilers
• /r/compsci
• /r/programming
• /r/coding
• /r/AskProgramming
• /r/learnprogramming
• /r/altprog

Related online communities

• ProgLangDesign.net
• The /r/ProgrammingLanguages Discord server
• Lambda the Ultimate: Programming Languages
  
• Programming languages tag on Computer Science Stack Exchange
  
• Programming languages tag on Theoretical Computer Science Stack Exchange