Agreed. I've been using the compiler for months, slowly adding type annotations as I went, but not really "getting" a few key concepts. Investing in the book

Agreed. I've been using the compiler for months, slowly adding type annotations as I went, but not really "getting" a few key concepts. Investing in the book was worthwhile, especially since it's the only source for documentation for certain types of compiler optimizations or the module functionality.