Scala.IO 2024 - Nantes
2024-02-15..2024-02-16
Nantes, France
[Scala.IO 2014, Scala.IO 2016, Scala.IO 2017, Scala.IO 2024 - Nantes]
who it's for
Scala developers, library authors, backend engineers, infrastructure engineers, compiler contributors, data engineers, community organizers
topics
ZIO versus Project Loom; virtual threads on JVM; Scala 3 migration; Scalafix custom rules; Smithy4s code generation; Pulumi SDK for Scala (Besom); compile-time refinement with opaque types; FS2 and cats-effect concurrency; fastparse SQL-like parser; higher-order abstract syntax in Lambda Prolog; category theory for programmers; Scala.js music DSL
| title | author | length |
|---|---|---|
| Unwrapping IO: is it a path that you want to follow? | Adam Warski | 55m |
Compares ZIO vs a direct-style on JVM with Project Loom, claiming Loom lets virtual threads be cheap (example: 10 million virtual threads in ~2s) and restores… | ||
| Logic Meta Programming for Functional Languages | Enzo Crance | 45m |
Shows a working meta-programming pipeline: encoding lambda terms with higher-order abstract syntax in Lambda Prolog (LP), implementing a real type-checker for… | ||
| My first year in Scala | Monica McGUIGAN | 38m |
18 months of moving from basic syntax to shipping backend code at JP Morgan, with a first endpoint taking three weeks instead of half a morning and a learning… | ||
| Songwriting in Scala: Creating a DSL for writing Music with ADT's | Paul Matthew | 45m |
Claims that Scala can model and produce music using ADTs and a small DSL, implemented by compiling to Scala.js + tone.js and wrapping the JavaScript Web Audio… | ||
| When all the nails are trees, the hammer you need probably looks like a chainsaw | Matthieu Baechler | 25m |
Claim: using a Rose Tree gives listlike operators on recursive data so you stop hand-rolling traversal for JSON J schemas and AST-like problems. Implementation… | ||
| Armored type safety with Iron | Raphaêl Lemaitre, Valentin Bergeron | 33m |
Library claim: enforce domain constraints with zero cost, zero dependency using Scala 3 features. Implementation details: composition via a refine-like type… | ||
| Hands on Besom: Infrastructure as Code with Scala | Łukasz Biały | 51m |
Besom is a Pulumi SDK for Scala that claims to let Scala code declare and deploy real infra; the demo uses Pulumi primitives to create a k3s cluster on a VPS… | ||
| Data pipelines engineering made simple with Scala | Raphael Claude | 36m |
Claims a production Scala platform that uses a SQL-like language to statically infer dependency graphs and output schemas, reducing backfills and schema… | ||
| Scala 3 Compiler Academy Journey | Anatolii Kmetiuk | 36m |
Project starts summer 2021, runs monthly pair sessions that pair 2–5 person pair-programming teams, and shifts from fixing about 4 issues per spree early on to… | ||
| Introduction to Smithy Smithy4s | Olivier Melois | 44m |
Smithy is an AWS-born IDL after ~14 years of iteration used to describe hundreds of public services (330 public) and many internal ones, and Smithy4s is a… | ||
| Ukraine's Scala community building lessons | Olya Mazhara | 19m |
Ukraine's Scala community survives wartime by doing small concrete things: it centralizes city channels into one group, runs a company-hosted persistent… | ||
| Chasing Arrows, in categories containing functors and monads | Jim Newton, Uli | 46m |
Course material condenses Category Theory for programmers into Scala code and commutative diagrams, claims that monad = functor + flatMap (laws) and… | ||
| Contravariance: intuition building from first principles | Sophie Collard | 33m |
Builds intuition from first principles by showing exact substitutability rules, changing a type parameter’s variance to make code compile, and demonstrating… | ||
| Migrating Gallia to Scala 3 the good, the bad and the very good | Anthony Cros | 26m |
Gallia moves from Scala 2 to Scala 3 with concrete outcomes: a working migration of the core and a new macro-based WTT construct that reproduces weaktypeinfo… | ||
| Unleashing Scalafix potential with custom rules | Brice Jaglin | 39m |
Scalafix claims eight years of stable use and actually parses Scala into Scalameta tokens and ASTs, captures compiler info into semanticDB, and produces… | ||
| nothing matches | ||