starman@programming.dev to Programming@programming.devEnglish · 11 months agoUnison | A friendly, statically-typed, functional programming language from the future · Unison programming languagewww.unison-lang.orgexternal-linkmessage-square44fedilinkarrow-up184arrow-down114file-text
arrow-up170arrow-down1external-linkUnison | A friendly, statically-typed, functional programming language from the future · Unison programming languagewww.unison-lang.orgstarman@programming.dev to Programming@programming.devEnglish · 11 months agomessage-square44fedilinkfile-text
minus-squarehansl@lemmy.worldlinkfedilinkarrow-up1·11 months agoIt’s not parenthesis (in the PEMDAS sense), it’s the unit type and it’s normally expressed like that. If you’re not familiar with type systems, it’s the typing equivalent of void.
minus-squareEasternLettuce@lemm.eelinkfedilinkarrow-up1·11 months agoWhat languages use right handed types in parens, nothing modern surely?
It’s not parenthesis (in the PEMDAS sense), it’s the unit type and it’s normally expressed like that. If you’re not familiar with type systems, it’s the typing equivalent of
void.What languages use right handed types in parens, nothing modern surely?