News for hackers. Stuff that matters.
Re:Atlas, a hopefully better engineering IDE by papaf on Tuesday May 11, 2021 @01:58AM (#27114706)
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-a...

[2] https://stackoverflow.com/questions/28698558/c-dimensional-a...

Re:Atlas, a hopefully better engineering IDE by papaf on Tuesday May 11, 2021 @02:10AM (#27114767)
Although it just uses scaling, Forth also has a nice solution to unit conversion:

https://www.forth.com/starting-forth/12-forth-code-example/

Re:Atlas, a hopefully better engineering IDE by gpderetta on Tuesday May 11, 2021 @06:27AM (#27116342)
Yes, and boost.units, and to a limited extent, std::chrono.