Welcome
summary
Session frames types and monads as the historical themes and contrasts free monads and freer monads with a concrete claim: monadic structure resists static analysis, so freer arrows are introduced as an alternative. The talk presents an implementation of freer arrows, describes the core API and translation from common monadic patterns, and shows concrete static checks that become possible where monadic code previously blocked analysis, with examples and a working prototype.
AI-written summary · about
related talks
36mDo it with (free?) arrows!
01h 14mBeyond Free Monads
50mHierarchical Free Monads & Software Design in Functional Programming
36mAn introduction to monadic structures and functional programming
42mMonads you already use without knowing it
25mFreestyle: A Framework for Purely Functional FP Apps & Libs
32mDiscussion: Are Free Monads Really Free?
41mWhy the free Monad isn't free