From Scala Monadic Effects to Unison Algebraic Effects

Published: 13 Apr 2020

Uploaded: 28 Dec 2023

Number of slides: 44

Description: view

Slideshow: view - 327 views

All slides : view

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

Speakerdeck: slideshow - 147 views - uploaded 13 Apr 2020

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

Scala Code: github repo

Unison Code: github repo

327

	34		35		32

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.