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-square53fedilinkarrow-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-square53fedilinkfile-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-squarehansl@lemmy.worldlinkfedilinkarrow-up1·11 months agoI’m not sure what you’re asking. Plenty of modern languages use the unit type; typescript, Rust, not sure you consider Haskell a modern language. From the look of it, this language seems to use it in a function signature declaration, which would make sense.
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.deleted by creator
I’m not sure what you’re asking. Plenty of modern languages use the unit type; typescript, Rust, not sure you consider Haskell a modern language.
From the look of it, this language seems to use it in a function signature declaration, which would make sense.