LOADING
For nearly a decade, Scala's concurrency has been driven by Akka, Cats Effect and ZIO, each with its own vision for purity, safety, and pragmatism. Kyo enters this incredible ecosystem with a fresh perspective.This talk provides a critical, technical comparison of these systems through a unified framework.
For nearly a decade, Scala's concurrency has been driven by Akka, Cats Effect and ZIO, each with its own vision for purity, safety, and pragmatism.
Kyo enters this incredible ecosystem with a fresh perspective.
This talk provides a critical, technical comparison of these systems through a unified framework, evaluating their approaches to:
- Effect Modeling: How they represent, compose, and handle effects and errors.
- Concurrency & Resilience: The guarantees and costs of their fiber and structured concurrency models.
- Developer Experience: The trade-offs in readability, ergonomics, and type-driven safety.
We will focus on how Kyo’s use of algebraic complements the work of its predecessors.
You'll see how it embraces Scala 3 and understand why it earns its place in an already fantastic field.
Code generation is one of the most promising applications of large language models (LLMs), offering substantial productivity boosts for developers. However, this benefit is tempered by serious concerns surrounding the correctness and security of the generated code - especially outside the happy path.
In this talk, I’ll guide you through the crossroads where Scala intersects with AI, some applications aimed at boosting developer productivity, others focused on integrating your code with LLMs.
Writing client-facing APIs involves mundane tasks, whether it be REST, GraphQL, or gRPC. In this talk, I will pick two repetitive tasks during API development and demonstrate how we can utilize Scala to automate the most boring parts.
This talk presents McCCT, a new concurrency testing tool developed at KTH by the speakers in the context of an ongoing research project.
In my talk I will argue that we can do much better by relying in a systematic way on types and capabilities.
