This subreddit is dedicated to the theory, design and implementation of programming languages. https://www.reddit.com/r/ProgrammingLanguages