If I wrote a blog / tutorial series about developing a language (with type inference, generics, etc.) + compiler from scratch in Rust, would people read it?
58
16
561
Conversation
One thing I keep saying that we need “Crafting Elaborators” (for dependent types though, which is not what you’re pitching). Like an updated andres-loeh.de/LambdaPi, but informed by github.com/AndrasKovacs/e… explaining how to implement STLC, then adding on dependent types.
2
7
Maybe one day I will get around trying to write something like it myself 🙃