u/dtellerulamin r/haskell • Recommends
On “Why can't Haskell have nicer syntax for impure monadic / applicative code?”
http://benl.ouroborus.net/talks/2016-HIW-Escape.pdf
link to this video
0:00 / 0:00
06 Automatically escaping Monads
ICFP Video
3.8K subscribers • 33 videos on Hallway
- Recommended by 2 people: 2 in engineering communities.
Advanced. Deep dive for people who know the field.
874 views9 years ago2 recommendations
Programming languagesComputer scienceHaskellLanguage design and type systemsComputation and complexity
A presentation from ICFP on automatically escaping monads and handling impure monadic code.
The uploader added no description.Why it's here
2 people recommend thisWhat people say. Recommended as an interesting proposal for handling impure monadic and applicative code in Haskell.
u/bugsycsin r/haskell • Recommends
On “Why can't Haskell have nicer syntax for impure monadic / applicative code?”
…t requires an effect system that's separate from the type system, which Haskell doesn't have, and it's incompatible with call-by-value. It also requires (some) annotations for type checking to be tractable (although I think only effect annotations). Anyways, check it out. It's super interesting:
http://benl.ouroborus.net/talks/2016-HIW-Escape.pdf
link to this video
The bang-notation in Idris and this propsal for Haskell are sort of similar, but not quite the same. One of the Haskell implementors brings up bang-notation in the linked talk, and there's some clarification of the differences.…