r/programminglanguages along with the associated IRC channel, #proglangdesign. I'm working on building a compiler, so I'm interested in learning more about newl

r/programminglanguages along with the associated IRC channel, #proglangdesign. I'm working on building a compiler, so I'm interested in learning more about newly built languages and related topics (e.g. type theory).