2015-05-21Programmers invariably work with numbers that represent values with intrinsic types, or units. Types can be conceptual representations of real world modeling such as distance, mass, time. Those conceptual types can be formalized into units, such as meters, grams, seconds. Naturally we want to be able to manipulate these numbers with types. I want to take the distance from my apartment to