Typelevel Summit Copenhagen 2017
2017-06-03
Copenhagen, Denmark
who it's for
scala developers, functional programmers, library authors, macro authors, data engineers, api designers, engineering managers
topics
refined types for configurations; Scala macros for serializers; free monad algebras and interpreters; Freestyle free-monad framework; Monocle lenses with macros; type classes for Spark ETL; typeclass induction for type lists; free arrows and JSON schema; dependent types for units; PureConfig and shapeless integration
| title | author | length |
|---|---|---|
| Keynote: Inviting Everyone to the Party | Andrea Magnorsky | 45m |
Argues that language-paradigm choice depends on concrete constraints like performance, error models and team familiarity, not ideology, and maps trade-offs to… | ||
| Refined types for validated configurations | Viktor Lövgren | 33m |
Live-coding shows actual code: use PureConfig to eliminate boilerplate, attach refined types for predicates (nonEmpty, Positive, port > 1023) so invalid values… | ||
| Herding types with Scala macros | Marina Sigaeva | 17m |
Shows a small Scala library that uses compile-time reflection and Scala macros to generate per-type serializers and deserializers for a schemaless key‑value… | ||
| Monad Stacks or: How I Learned to Stop Worrying and Love the Free Monad | Harry Laoulakos | 27m |
Shows techniques for cleaning up nested Scala code (lots of maps, flatMaps and pattern matching) by using Monad Transformers, effects libraries, and Free… | ||
| Freestyle: A Framework for Purely Functional FP Apps & Libs | Raúl Raja Martínez | 25m |
Freestyle presents a concrete Scala library that puts free monads at the center, with a module system that lets you define modules and algebras and wire them… | ||
| Lenses for the Masses: Introducing Goggles | Ken Scambler | 36m |
Shows a working Scala macro called Goggles that sits on Monocle and turns nested optics code into a compiler-checked mini-language so you can build, compose… | ||
| The Power of Type Classes in Big Data ETL | Zhenhao Li | 19m |
Argues that encoding ETL logic as composable type classes and singleton types yields compile-time guarantees for Spark pipelines, with concrete code using… | ||
| Mastering Typeclass Induction | Aaron Levin | 35m |
Shows how to derive typeclass instances for type-level lists by giving a concrete base-case and an inductive implicit that composes head and tail instances… | ||
| Do it with (free?) arrows! | Julien Richard-Foy | 36m |
Compares free monads and free applicatives to free arrows by building a small embedded DSL for record and sum types (field atom plus combinators) and… | ||
| Libra: Reaching for the Stars with Dependent Types | Zainab Ali | 37m |
Describes using dependent types, singleton types and generic programming to perform dimensional analysis at compile time so numeric values (doubles, floats… | ||
| nothing matches | ||