< a quantity that can be divided into another a whole number of time />

January 20, 2020

Yet another enlightening post by Alexis King, that I will have a hard time to digest.

The flaw is in the premise: static types are not about “classifying the world” or pinning down the structure of every value in a system. The reality is that static type systems allow specifying exactly how much a component needs to know about the structure of its inputs, and conversely, how much it doesn’t.