Give me Freedom or Forgeddaboutit

on YouTube ↗32m

" summary

Claims that freedom is a process: a left adjoint free paired with a forgetful functor (free ⊣ forget), not just a cute datatype. Demonstrates the two concrete operations lift and foldFree on a teletype functor and interprets the resulting free monad to IO (teletype → IO). Shows the Church‑encoding/continuation representation that actually is the free construction and generalizes to other constraints; contrasts free vs operational implementations.

AI-written summary · about

" chapters (4)

1. 0:00Introduction
2. 3:44Free
3. 11:54Free as an adjective
4. 19:13Freedom as a process

" related talks

• 01h 14mBeyond Free MonadsJohn DeGoes · LambdaConf Winter Retreat 2017
• 43mFree monad or tagless final? How not to commit to a monad too earlyAdam Warski · Scala.IO 2017
• 41mWhy the free Monad isn't freeKelley Robinson · Scala Days Berlin 2016
• 32mDiscussion: Are Free Monads Really Free?Mark Seemann, Tomas Petricek · fsharpConf 2023
• 54mCategory Theory Through Functional Programming (part 3/3)Alejandro Serrano · LambdaConf Winter Retreat 2017
• 21mCompositions for Free: Reasoning about Effectful LensesZhenjiang Hu, Tom Schrijvers, Ruifeng Xie · HOPE 2025
• 42mThe Free and the Furious: And by 'Furious', I mean Codensityraichoo · Lambda World 2015
• 25mFreestyle: A Framework for Purely Functional FP Apps & LibsRaúl Raja Martínez · Typelevel Summit Copenhagen 2017