Conversation
Not really, or rather they’re sort of scattered around. Been hanging out on the Gitter chat for ’s Pikelet language <gitter.im/pikelet-lang/L> and there are several cool & knowledgeable PL folks in there. There is a Kitten one too <gitter.im/kittenlang/Lob> (quieter).
1
2
Oh yes, I've been trying to grow the Pikelet community as a small, friendly, helpful bunch of people. There is also reddit.com/r/ProgrammingL, with IRC: reddit.com/r/ProgrammingL, and discord: discordapp.com/invite/CvFKBQ6
1
1
The Pikelet chat tends to be more focused on dependent type system usage and implementation (type checking, type preserving compilation, language design, UX) and the development Pikelet in particular, where as the PLD community is more about all kinds of languages.
1
Thanks a lot to both of you. I’ll definitely be hanging around these. I’ve missed having people to bounce ideas off of and see what others are working on
1
Cool, always glad to help! What kind of PL stuff are you interested in/thinking about/working on?
My job involves building tools to make devs more productive, but I like making toy languages for fun. Currently working on a small functional language for systems programming
1
Oh cool! Yeah, your site is full of interesting things! That developer UI stuff is super cool.
Curious about your little systems lang! Pikelet was also born out of a wish for more functional systems programming. Would be interested in comparing notes!