2 ms·
"The type-checker doesn't know you should have added instead of multiplied" Dimensional analysis is a type system that knows exactly that.
by dllthomas 11y ago
"The type-checker doesn't know you should have added instead of multiplied"
Dimensional analysis is a type system that knows exactly that.