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: programming_languages@programming.dev
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: programming_languages@programming.dev
minus-squareLupec@lemm.eelinkfedilinkarrow-up6·1 year agoFascinating idea, that was an interesting read! Don’t think I’d ever seen something like that done before.
Fascinating idea, that was an interesting read! Don’t think I’d ever seen something like that done before.