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

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: https://getkyo.io/#/?id=introduction
GitHub repository: https://github.com/getkyo/kyo

Sponsors

Check out ScalaJobs ( https://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