Scala Days 2025 Lausanne
2025-08-19..2025-08-21
Lausanne, Switzerland
[Scala Days 2023 Seattle, Scala Days 2023 Madrid, Scala Days 2025, Scala Days 2025 Lausanne]
who it's for
Scala developers, compiler engineers, build engineers, tooling engineers, library authors, language designers, CI and release engineers
topics
Scala 3 type system; def-to-val refactoring; type lambdas and polymorphism; union and intersection types; tracked parameters and constructor types; capture checking for effects; sbt 2.0 caching and protocol; Bazel-compatible remote cache; Metals LSP and MCP integration; JetBrains AI assistant and Melum; Mill object-oriented build definitions; encrypted-field library (Cryptic)
| title | author | length |
|---|---|---|
| Thinking in Scala 3 Types | Bill Venners, Frank Sommers | 38m |
Scala 3’s type system gets concrete models and concrete features: think types as sets and substitution to reduce polymorphism, with worked examples of… | ||
| On track with tracked | Kacper Korban | 41m |
New Scala 3 modularity work adds a compiler-backed modifier that preserves precise runtime values as types, using generated refinements so parameter types… | ||
| sbt 2 0： go big | Eugene Yokota | 43m |
sbt 2.0 is a Scala 3 rewrite that simplifies build.sbt semantics, migrates macros to Scala 3, and makes caching first-class with a Bazel-compatible remote… | ||
| The first steps towards practical capture checking | Cao Nguyen Pham | 49m |
Nightly Scala 3 builds already implement capture checking and a full capture-checked Scala API and a Gears capture-checked port exist as proofs of concept… | ||
| Unleashing the Full Potential of Metals | Tomasz Godzik | 41m |
Metals is the Scala LSP with Bloop/BSP, Scala CLI and Bazel integrations; troubleshooting uses logs, LSP trace JSON, presentation-compiler reports and commands… | ||
| AI Tooling for Scala Developers - What JetBrains Brings to the Table | M. Gorywoda | 41m |
JetBrains demonstrates concrete tools: AI Assistant for in‑editor code edits and chat, cloud or local AI code completions, the open‑source Melum model, and the… | ||
| Capture Checking - A New Approach to Effect Safety in Scala | Oliver Bračevac | 38m |
Capture Checking adds capability tracking into Scala’s type system and turns runtime resource-leak crashes (for example returning a file handle from a scoped… | ||
| Say goodbye to implicits - contextual abstractions in Scala 3 | Magda Stożek | 29m |
Scala 3 removes the old implicit keyword and replaces it with focused constructs: the given/using pair for contextual values, extension methods for adding… | ||
| Cryptic - keeps your secrets | Odd Möller, Martin Zachrison | 39m |
Cryptic is a Scala library that encrypts individual fields via an Encrypted-typeclass and defers transformations until explicit decryption using staged… | ||
| Easy Scala Builds with the Mill Build Tool | Li Haoyi | 47m |
Mill is a Scala/Java/Kotlin build tool that replaces SBT/Maven/Gradle habits with object-oriented build definitions where tasks are normal methods, enabling… | ||
| Effective Match Types | Jamie Thompson | 43m |
Match types power Scala 3 features like generic tuples, named tuple extraction for route parameters and structural types, and type class derivation, while the… | ||
| Exploring Build Caching - A Practical Overview | Martin Duhem | 31m |
Build caching reduces repetitive work by reusing compiler outputs and test artifacts; sbt 1 already supports remote compilation caching (push/pull of class… | ||
| Hands On Capture Checking with Martin Odersky | Nicolas Rinaudo | 41m |
Live coding uses the Scala nightly compiler and local nightly artifacts to exercise the experimental capture-checking feature; concrete examples include a… | ||
| nothing matches | ||