Three Dollar Quill

Well, I'm somewhat winging reading the early chapters of this book, but it's fine, probably. I'm taking notes on the stuff I'll need to keep in mind later, and internalizing the correct interpretation of some notation that I was just sort of fudging my interpretation of.

I can't be sure that I'll continue to move through later chapters at the same clip as these early ones, but I'm just not going to worry about that right now.

What I am a little worried about is, it's talking about desirable properties of a type system, that I can't simply assume hold, and will need to prove. I'm a little worried that I may end up doubting myself just enough that I write a bunch of the compiler in Dafny, and then compile it to Rust, which is likely to produce code that is... somewhat odd-looking, at best.

Anyway, it's late now.

Good night.