4 ms·
This breaks type checking expressions of many different units. For instance, 1 meter times 1 meter is 1 meter squared. 1 uno times 1 uno will come out to 1 uno
by CyberRabbi 5y ago
This breaks type checking expressions of many different units. For instance, 1 meter times 1 meter is 1 meter squared. 1 uno times 1 uno will come out to 1 uno squared but the answer should be 1 uno. Is there a systematic way to deal with this?
- jonsen 5y agoIf unit calculations can reduce e.g. m^3/m -> m^2, why shouldn’t it reduce U^2 -> U ?
- CyberRabbi 5y agoYou can simplify but it’s still unclear if the U^2 term you derived was supposed to be U^1 (before the simplification, I.e. you did an extra multiplication). It just makes bare type checking slightly more ambiguous.