Joshua Barretto@jsbarretto·Aug 12If I wrote a blog / tutorial series about developing a language (with type inference, generics, etc.) + compiler from scratch in Rust, would people read it?5816561
Brendan Zabarauskas@brendanzab·Aug 12One thing I keep saying that we need “Crafting Elaborators” (for dependent types though, which is not what you’re pitching). Like an updated https://andres-loeh.de/LambdaPi, but informed by https://github.com/AndrasKovacs/elaboration-zoo/…… explaining how to implement STLC, then adding on dependent types.27
Brendan Zabarauskas@brendanzabReplying to @brendanzab and @jsbarrettoMaybe one day I will get around trying to write something like it myself 🙃4:34 PM · Aug 12, 2022·Twitter Web App1 Like