bugsmith@programming.dev to Programming@programming.dev · 7 months agoIntroducing Numbat: A programming language with physical units as typesnumbat.devexternal-linkmessage-square23fedilinkarrow-up1165arrow-down17cross-posted to: rust@lemmit.onlineprogramming_languages@programming.devhackernews@lemmy.smeargle.fanshackernews@derp.foo
arrow-up1158arrow-down1external-linkIntroducing Numbat: A programming language with physical units as typesnumbat.devbugsmith@programming.dev to Programming@programming.dev · 7 months agomessage-square23fedilinkcross-posted to: rust@lemmit.onlineprogramming_languages@programming.devhackernews@lemmy.smeargle.fanshackernews@derp.foo
minus-squareStarfighterlinkfedilinkarrow-up3·edit-27 months agoI can’t talk about the other libraries but the uom crate does the same thing. The dimensions are encoded as a vector of generics, allowing you to get the correct unit even when dividing a distance by time for example. It’s quite the clever use of Rusts type system.
I can’t talk about the other libraries but the uom crate does the same thing.
The dimensions are encoded as a vector of generics, allowing you to get the correct unit even when dividing a distance by time for example.
It’s quite the clever use of Rusts type system.