From Scala Monadic Effects to Unison Algebraic Effects

Published: 13 Apr 2020

Uploaded: 28 Dec 2023

Number of slides: 44

Description: view

Slideshow: view - 349 views

All slides : view

Download: pdf (for a perfect viewing experience - see the slides as they are meant to be seen)

Speakerdeck: slideshow - 160 views - uploaded 13 Apr 2020

Slideshare: slideshow - 1,292 views - uploaded 13 Apr 2020

Scala Code: github repo

Unison Code: github repo

349

	36		37		34

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.