Jared Forsyth 2024-05-15 20:27:51 Hi friends! As part of my unending pursuit of creating The Best Programming Language, I've ended up building a structured editor / literate programming environment for creating self-hosted languages ... and that has turned into "An Interactive Tutorial about Compilers & Type Inference", that includes interactive implementations of the papers "Algorithm W Step by Step" and "Typing Haskell in Haskell" (with more planned). I'm currently looking for beta testers to look it over before I make a general release, and I imagine there are many people here with relevant experience 😄.
So if any of y'all are interested, send me a message! As a teaser, here's the start of the intro document:
Nilesh Trivedi 2024-05-17 07:51:45 Interested! 🙋♂️
I've been thinking about building my own language so this seems highly relevant.