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
Replying to
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.
Maybe one day I will get around trying to write something like it myself 🙃
1
Replying to
I would really love to see something like this! Dependent typing is a field I've not yet explored much, so any approachable literature / tutorials / blog posts about implementing them I'm sure would be most welcome.
1
2
Yeah, it’s not super hard! I also recommend cse.chalmers.se/~bengt/papers/ – the elaboration-zoo I linked has some of the best and most up-to-date toy implementations out there right now though, but lacks much prose to go with it right now.
1
2
Show replies