I wish the languages I use would not only provide static strong typing, but also proper explicit support for units. Automated dimensional analysis would preven

I wish the languages I use would not only provide static strong typing, but also proper explicit support for units. Automated dimensional analysis would prevent many of the bugs I've written over the years, and there are so many times I've had to think carefully whether a variable is in seconds, milliseconds or microseconds to the point where I always define my own types of these. Or whether a throughput count is in Mbits/second or Bytes/second.