Flavio Brasil

Principal Engineer

Flavio is a seasoned engineer with a specialization in high-performance solutions for functional programming on the JVM. Throughout his career, he has navigated a wide range of technologies, spanning from intricate JIT compilers to sophisticated libraries for functional programming. Driven by his passion for open source, Flavio has contributed to numerous projects such as Quill, a prominent library for seamless database access in Scala, and Finagle, the robust library at the heart of Twitter's scalable platform.

Suspension: the magic behind composability (or "The Kyo Monad")

Kyo is a new effect system in Scala with an innovative approach to generalize monadic computations to express composable algebraic effects. This talk will cover the internals of the library to address common questions: How does it provide effect composability? How can we reason about effect ordering? What’s behind its next-level performance? We’ll explore Kyo’s core suspension mechanism, see how it allows for unparalleled composability, and how it compares to similar solutions like ZIO and Caprese. https://getkyo.io

OBJECTIVES

- Introduce Kyo as a new encoding of algebraic effects
- Explore its effect suspension and handling mechanism
- Provide a mental model for how to reason about effect composition
- Share an overview of the main performance optimizations of its monadic encoding

AUDIENCE

Functional programmers with experience in typed FP languages (Haskell, Scala, OCaml, etc.) and familiarity with monads and effect systems. While examples will be in Scala, the concepts translate to other functional languages. The talk focuses on implementation details rather than usage patterns, making it especially relevant for developers interested in PLT, effect system internals, and performance optimization of functional abstractions.

←Back