Beyond `flatMap`: Is Kyo the Future of Scala Effects?
summary
Kyo presents a different effect model that composes effects horizontally using a pending set of capabilities (async, abort, var, emit, environment, choice) rather than stacked monad types; it provides a direct syntax (async/await–style) and exposes composable handlers that resolve each capability, with suspension frames implemented for performance and heavy inlining. Interop modules run ZIO and Cats Effect runtimes on Kyo, Tagless Final gets better type inference, and streaming is an emit effect rather than FS2—proofs of concept and schedulers already work.
AI-written summary · about
chapters (10)
- 0:00Monads and Kyo intro
- 3:15Kyo program explained
- 6:26Kyo with AI today
- 10:02Kyo effects building blocks
- 13:23Suspension and handlers
- 16:18Kyo interoperability ZIO Cats
- 19:30Tagless Final in Kyo
- 20:34Direct style vs capture checking
- 24:05Capture checking vs Kyo
- 26:11Kyo conclusion
related talks
02mEffects, Algebraically yours ..
23mEffects types in Scala - how to choose one
30mTroll Driven Development: Implementing Functional Effects by Way of Self-Lobotomy
43mThe Design of the Scalaz 8 Effect System
31mPick a (Effect) Lane: A comparison of direct-style Scala vs effect systems
51mEffects: to be or not to be?
31mTAKING YOUR SIDE-EFFECTS ASIDE
01h 00mScala. The War of Effects. ZIO vs Cats Effect