Scala 3 enum for a terser Option Monad Algebraic Data Type

Published: 06 Dec 2020

Uploaded: 26 May 2024

Description: view

Slideshow: view - 241 views

All slides : view

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

Speakerdeck: slideshow - 58 views - uploaded 14 Aug 2023

Slideshare: slideshow - 595 views - uploaded 06 Dec 2020

Scala Code: github repo

241

	17		20		17

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.