On Wednesday, 16 March 2016 at 17:12:42 UTC, ZombineDev wrote:
Sometimes a more gradual approach may be useful:[…]
How would this be any more than an informational annotation? If anything, you could build a custom lint tool to propagate and verify the unit annotations, but I don't quite see how the type system/compiler would make use of it.
— David
