3 ms·
Type systems are to programmers what dimensional analysis is to physicists.
by Konohamaru 4y ago
Type systems are to programmers what dimensional analysis is to physicists.
- ok123456 4y agoYou can do dimensional analysis with type systems. It's part of the F# standard library, at least for integral dimensions.
- dragonwriter 4y ago> 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.