Three Dollar Quill

Every time I read stuff on implementing type systems, I feel like the ideas being communicated are somewhat different. Hopefully this is a case of "there are many ways to attain desirable theoretical properties" and not "I'm failing to understand something". Anyway, I found a book on this stuff, which builds up to "System Fω with subtyping", which is, um, where I want to start in terms of this project.

So, I figure I'll work through that book; while it's possible that I can simply muddle through things with my current level of knowledge, getting a firmer foundation should only be helpful, aside from the fact that it may take more time than just charging ahead and getting lucky.

As such, I'm going to try to switch gears to other projects, at least as far as blogging goes, and read up on this in the background.

...

And then I went and got distracted by another project that I'm nowhere near ready to blog about. Oops.

Going to get to bed now. Maybe read the intro to that book.

Good night.