bugsmith@programming.dev to Programming@programming.dev · 11 months agoIntroducing Numbat: A programming language with physical units as typesnumbat.devexternal-linkmessage-square15fedilinkarrow-up1140arrow-down17cross-posted to: programming_languages@programming.devhackernews@lemmy.smeargle.fansprogramming@zorg.social
arrow-up1133arrow-down1external-linkIntroducing Numbat: A programming language with physical units as typesnumbat.devbugsmith@programming.dev to Programming@programming.dev · 11 months agomessage-square15fedilinkcross-posted to: programming_languages@programming.devhackernews@lemmy.smeargle.fansprogramming@zorg.social
minus-squarekibiz0r@lemmy.worldlinkfedilinkEnglisharrow-up22arrow-down1·11 months agoF# has a feature kinda like this: https://learn.microsoft.com/en-us/dotnet/fsharp/language-reference/units-of-measure
F# has a feature kinda like this: https://learn.microsoft.com/en-us/dotnet/fsharp/language-reference/units-of-measure