starman@programming.dev to Programming@programming.devEnglish · 2 years agoUnison | A friendly, statically-typed, functional programming language from the future · Unison programming languagewww.unison-lang.orgexternal-linkmessage-square5linkfedilinkarrow-up10arrow-down10file-text
arrow-up10arrow-down1external-linkUnison | A friendly, statically-typed, functional programming language from the future · Unison programming languagewww.unison-lang.orgstarman@programming.dev to Programming@programming.devEnglish · 2 years agomessage-square5linkfedilinkfile-text
minus-squaresteersman2484@sh.itjust.workslinkfedilinkarrow-up1·2 years agoThere are no imports, these are type annotations
minus-squarechristophski@feddit.uklinkfedilinkEnglisharrow-up0·2 years agoDo I really have to declare that something requires exceptions?
minus-squaresloppy_diffuser@sh.itjust.workslinkfedilinkEnglisharrow-up1·2 years agoThat’s one of the things I appreciate in a language/framework. Drives me nuts getting an exception from a dependency of a dependency of a dependency. Even better if its baked into the type system and I can’t run my code without handling it.
minus-squaresteersman2484@sh.itjust.workslinkfedilinkarrow-up0·2 years agoYes, in functional programming you want to use pure functions. Exceptions are impure, therefore it has to be declared. Other functional languages don’t even have exceptions
There are no imports, these are type annotations
Do I really have to declare that something requires exceptions?
That’s one of the things I appreciate in a language/framework. Drives me nuts getting an exception from a dependency of a dependency of a dependency.
Even better if its baked into the type system and I can’t run my code without handling it.
Yes, in functional programming you want to use pure functions. Exceptions are impure, therefore it has to be declared.
Other functional languages don’t even have exceptions