I guess the overlap between physicists/engineers and type system/PLT people isn’t large enough. C++ has supported units, as a library, since the early 90s. The

I guess the overlap between physicists/engineers and type system/PLT people isn’t large enough. C++ has supported units, as a library, since the early 90s. The Barton Nackman book had the initial implementation [1] and it was picked up years later by Scott Meyers [2]. [1] https://www.thriftbooks.com/w/scientific-and-engineering-c-an-introduction-with-advanced-techniques-and-examples_john-j-barton/927108/#edition=4130871&idiq=25469380 https://www.thriftbooks.com/w/scientific-and-engineering-c-a... [2] https://stackoverflow.com/questions/28698558/c-dimensional-analysis-barnes-and-nackman-with-scale https://stackoverflow.com/questions/28698558/c-dimensional-a...