From Scala Monadic Effects to Unison Algebraic Effects

Published: 13 Apr 2020

Uploaded: 28 Dec 2023

Description: view

Slideshow: view - 302 views

All slides : view

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

Speakerdeck: slideshow - 141 views - uploaded 13 Apr 2020

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

Scala Code: github repo

Unison Code: github repo

302

	31		32		29

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.