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:

Looks like fun.

Interested! 🙋‍♂️ I've been thinking about building my own language so this seems highly relevant.

Sounds great, and seems well-aligned with my own interests. I’d be happy to beta test. 😄

I would be very interested!

This is very cool! I'm interested in testing it out

I am extremely interested!