> Types are specifications of programs and data. The only reason that isn't obvious is because most of our type systems are rudimentary. One major limitation o

> Types are specifications of programs and data. The only reason that isn't obvious is because most of our type systems are rudimentary. One major limitation of almost all type systems: they fail to distinguish logical types from representation.