> Type systems are to programmers what dimensional analysis is to physicists.
Dimensional analysis is to data in other domains what dimensional analysis is to data in the domain of physics.
Type systems are a tool in which dimensional analysis can be done, or, alternatively, which with which you can restrict data to be being dimensionally aware, allowing dimensional analysis to be done outside of the type system.
