Scala 3 enum for a terser Option Monad Algebraic Data Type

Published: 06 Dec 2020

Description: view

Slideshow: view

All slides : view

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

Speakerdeck: slideshow - 29 views - uploaded 14 Aug 2023

Slideshare: slideshow - 589 views - uploaded 06 Dec 2020

Scala Code: github repo

Page Impressions: 123 (since Feb 2024)

PDF Downloads: 35 (since Feb 2024)

(since Feb 2024)

Explore a terser definition of the Option Monad that uses a Scala 3 enum as an Algebraic Data Type.
In the process, have a tiny bit of fun with Scala 3 enums.
Get a refresher on the Functor and Monad laws.
See how easy it is to use Scala 3 extension methods, e.g. to add convenience methods and infix operators.
The diagrams for function composition and Kleisli composition were made using https://q.uiver.app/ by https://twitter.com/varkora.