Introducing Numbat: A programming language with physical units as typesnumbat.devexternal-linkcross-posted to: programming_languages@programming.devhackernews@derp.foo bugsmith ( @bugsmith@programming.dev ) Programming@programming.dev • 8 months ago message-square10fedilinkarrow-up1104
arrow-up1104external-linkIntroducing Numbat: A programming language with physical units as typesnumbat.dev bugsmith ( @bugsmith@programming.dev ) Programming@programming.dev • 8 months ago message-square10fedilinkcross-posted to: programming_languages@programming.devhackernews@derp.foo
minus-square Lupec ( @lupec@lemm.ee ) linkfedilink5•8 months 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.