starman@programming.dev to Programming@programming.devEnglish · 1 year 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@programming.dev to Programming@programming.devEnglish · 1 year agomessage-square44fedilinkfile-text
minus-squarehansl@lemmy.worldlinkfedilinkarrow-up1·1 year 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·1 year 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.