Yes, people have definitely asked for a follow-up on compilers and/or static types. There's a little context here: https://news.ycombinator.com/item?id=4095613

Yes, people have definitely asked for a follow-up on compilers and/or static types. There's a little context here: https://news.ycombinator.com/item?id=40956138 https://news.ycombinator.com/item?id=40956138 I'm not sure if I'm the best person to write a compiler book, or, at least, not yet. I've written a lot of language front ends and interpreters, but I don't have much experience targeting native code. It's something I've wanted to do for a long time, but haven't made the time to make it happen. Static types are also hard for the reasons the linked comment talks about. I still think about it sometimes, but writing a book is a lot of work and I've been enjoying not writing a book for the past couple of years. :)