bugsmith@programming.dev to Programming@programming.dev · 1 year 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.fansprogramming@zorg.socialhackernews@derp.foo
arrow-up1158arrow-down1external-linkIntroducing Numbat: A programming language with physical units as typesnumbat.devbugsmith@programming.dev to Programming@programming.dev · 1 year agomessage-square23fedilinkcross-posted to: rust@lemmit.onlineprogramming_languages@programming.devhackernews@lemmy.smeargle.fansprogramming@zorg.socialhackernews@derp.foo
minus-squarekibiz0r@lemmy.worldlinkfedilinkEnglisharrow-up28arrow-down1·1 year agoF# has a feature kinda like this: https://learn.microsoft.com/en-us/dotnet/fsharp/language-reference/units-of-measure
minus-squarealuminium@lemmy.worldlinkfedilinkarrow-up11·1 year agoThought the same, plus you have the massive .NET Ecosystem.
F# has a feature kinda like this: https://learn.microsoft.com/en-us/dotnet/fsharp/language-reference/units-of-measure
Thought the same, plus you have the massive .NET Ecosystem.