YoVDO

Free as in Monads - Understanding and Applying Free Monads - Lecture 44

Offered By: ChariotSolutions via YouTube

Tags

Functional Programming Courses Scala Courses Software Design Courses Monads Courses Category Theory Courses

Course Description

Overview

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.

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

Related Courses

Unleashing Algebraic Metaprogramming in Julia with Metatheory.jl
The Julia Programming Language via YouTube
COSC250 - Functional and Reactive Programming
Independent
Generalised Integrated Information Theories
Models of Consciousness Conferences via YouTube
Reasoning About Conscious Experience With Axiomatic and Graphical Mathematics
Models of Consciousness Conferences via YouTube
Towards a Category-Theoretic Framework for Phenomenal Holism
Models of Consciousness Conferences via YouTube