4 ms·
The speed is most likely implicitly multiplied by a unit time.
by foldr 7y ago
The speed is most likely implicitly multiplied by a unit time.
- thaumasiotes 7y agoThat's... exactly the kind of thing a type system is intended to stop you from doing.
- foldr 7y agoIs it? I think it's fairly uncommon to use types to enforce correct units in calculations, and you need a pretty sophisticated type system to be able to do it. I'm not saying it's a bad idea, just that it's not really a core application of type systems in real-world programming practice.
- jsjolen 7y agoSure, but the general idea that you should disallow undefined operations are a core application of type systems. You don't need too advanced of a type system to implement what you're talking about. With the caveat that doing it in Java would make the code tedious to write ;-).
- detaro 7y agoAnd there's some benefit to forcing you to make that explicit, so the reader doesn't have to assume that "most likely" that was the intended meaning.