I agree with this sentiment, and in fact have always thought of it as analogous to type-checking (which must programmers benefit from to some extent).

If you use something with a sufficiently flexible type system you can combine these benefits, for example Haskell will let you mix physical units into the type system and have them statically checked: https://wiki.haskell.org/Physical_units