Extensibly Free Arrows

on YouTube ↗47m

" summary

Combines extensible-sp open sums/products, GADTs and free structures to make a composable free arrow that compiles to different runtimes; shows a concrete bug: an automated email flow fired to about a thousand clients from ~50 code sites and is fixed by swapping interpreters, not changing call sites. Uses Kleisli/Cleisli arrows, a compile step that turns free-arrow trees into runnable arrows, and admits messy runtime glue but successful deployment and reuse across services.

AI-written summary · about

" chapters (16)

1. 0:00Intro
2. 0:12About me
3. 0:56Roadmap
4. 1:24Extensible
5. 12:55Arrows
6. 16:44Extensibly Free Arrow
7. 19:02FreeA - Structure
8. 25:41Combined
9. 29:07Running Free
10. 31:52Utility - Arrow Assembly
11. 32:43Utility - Parallelization
12. 33:39Utility - Optimization
13. 35:44Formulaic Use
14. 37:26Final Thoughts
15. 39:19FreeA - Free Effects
16. 45:06FreeA - Definition

" related talks

• 36mDo it with (free?) arrows!Julien Richard-Foy · Typelevel Summit Copenhagen 2017
• 32mFreer Arrows and Why You Need Them in HaskellLindsey Kuper, Gan Shen, Yao Li, Grant VanDomelen · Haskell 2025
• 01h 14mBeyond Free MonadsJohn DeGoes · LambdaConf Winter Retreat 2017
• 33mExtensible Effects: A Leaner Cake for Purely Functional CodeEdmund Noble · Typelevel Summit NYC 2017
• 46mMove Over Free Monads: Make Way for Free Applicatives!John A De Goes · Scala World 2015
• 29mThis Is Driving Me Loopy: Efficient Loops in Arrowized Functional Reactive Pr...Finnbar Keating, Michael B. Gale · Haskell 2023
• 29mArrows as applicatives in a monadLeo White · HOPE 2024
• 47mFunctional programming in Kotlin: exploring ArrowTies van de Ven · Voxxed Days Luxembourg 2022