Embark on an epic journey through a live editor buffer to derive the `Free` monad from scratch in this 53-minute conference talk from Philly ETE 2017. Explore the origins, purpose, and significance of the `Free` monad, learning how to implement it in just a few dozen lines of code. Discover the power and ease of use of this abstraction when applied to the right problems. Delve into topics such as Free of F, A, and E, natural transformations, lift transformations, file systems, IO monads, and sequential computation. Gain insights that could potentially revolutionize your approach to software development, as you uncover the practical applications of Free monads in solving complex programming challenges.
Overview
Syllabus
Intro
Free Monad
Free of F
Free of A
Free of E
Natural Transformation
Lift
Transformation
File System
Free Monads
IO Monads
Using Free Monads
Natural Transformations
Sequential Computation
Taught by
ChariotSolutions