(download for best quality)

Introduction to Unison’s algebraic effects (abilities) - go from a small Scala program based on the Option monad to a Unison program based on the Abort ability - inspired by, and part based on, a talk by Runar Bjarnason.

See here for the code:

https://github.com/philipschwarz/from-scala-monadic-effects-to-unison-algebraic-effects-scala-code

https://github.com/philipschwarz/from-scala-monadic-effects-to-unison-algebraic-effects-unison-code

Keywords: ability, algebraic effect, continuation, flatmap, for comprehension, fp, functional effect, functional programming, map, monadic code, monadic effect, option monad, scala, scala language, state monad, unison, unison abilities, unison language

April 14, 2020