I wanted to take a moment to talk about one of my favorite topics computer science theory - something that seemed really arbitrary and useless at first but came out to be extremely useful for (I think) making me a better programmer.
Explicit Types for the Imperative Programmer
I wanted to take a moment to talk about one of my favorite topics computer science theory - something that seemed really arbitrary and useless at first but came out to be extremely useful for (I think) making me a better programmer.