starman to ProgrammingEnglish · 11 months agoUnison | A friendly, statically-typed, functional programming language from the future · Unison programming languagewww.unison-lang.orgexternal-linkmessage-square44fedilinkarrow-up185arrow-down114file-text
arrow-up171arrow-down1external-linkUnison | A friendly, statically-typed, functional programming language from the future · Unison programming languagewww.unison-lang.orgstarman to ProgrammingEnglish · 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-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.