> If you've used strongly-typed programming languages before, the relationship between dimensional analysis and type theory is rather obvious Author clearly ha

> If you've used strongly-typed programming languages before, the relationship between dimensional analysis and type theory is rather obvious Author clearly hadn't tried multiplying a user-input time value with a time constant (like milliseconds) in Go, a strongly typed language