Kyo: A New Approach to Functional Effects in Scala with Flavio Brasil and Adam Hearn

Flavio Brasil and Adam Hearn introduce Kyo, a functional effect system for Scala based on algebraic effects and a unified monad.

Learn about Kyo, a new functional effect system for Scala! We discuss what effect systems are, their benefits, and how Kyo simplifies functional programming with algebraic effects and a unified monad. Flavio and Adam walk through a live demo showcasing Kyo's type system, effect handling (including environment and error management), and composability. Perfect for anyone interested in functional programming on the JVM #functionalprogramming #scala #jvm #effects #kyo Links Kyo documentation: getkyo.io/#/?id=introduction GitHub repository: github.com/getkyo/kyo Sponsors Check out ScalaJobs ( scalajobs.com/ ), the most effective platform to hire Scala Engineering talent. Chapters 00:00 Introduction 00:22 Motivation behind Kyo 03:02 What is Kyo? 06:49 Defining Effect Systems 10:30 Demo of Kyo 21:07 Handling Multiple Effects 23:20 Error Handling in Effect Systems 27:26 Exploring Result Types and Aborts 31:26 Effect Widening and Type Safety 38:30 The Power of Qo's Monadic Interface 46:35 Understanding Kio's Building Blocks 47:43 Navigating Kio's Syntax and Dialects 50:51 Limitations of Effect Composition in Kyo 52:36 Handling Order-Sensitive Effects 55:15 The Beauty of Effect Handling 57:09 Discovering Kio's Functional Capabilities 59:55 Creating New Effects in Kyo 01:01:53 Kyo's Approach to Console and Clock Effects 01:05:15 Transitioning from Scala 2 to Scala 3 01:07:38 Performance Enhancements in Scala 3 01:09:50 Benchmarking Kio's Performance 01:10:31 Kyo Data Module 01:13:08 Kyo's Scheduler and Runtime Benefits 01:18:13 Adaptive Scheduling in Kio 01:19:49 When to Consider Kio's Scheduler 01:22:05 Kyo's Benchmarks 01:25:59 Kyo's Ecosytem 01:29:08 How to Contribute to Kyo 01:30:59 Kyo's Road to Version 1.0