Tracking units is a thing that I rarely have a use for (as a non-engineer), but when I do, I’m totally mystified by how bad almost every language is at it. F# is the only actual programming language I found that even tries. It does a pretty decent job, but even it has some disappointing holes (e.g. not being able to understand g and kg as scaled versions of the same dimension).
I guess the overlap between physicists/engineers and type system/PLT people isn’t large enough.
I guess the overlap between physicists/engineers and type system/PLT people isn’t large enough.