A SkillsCast for this session is not available.
This introduction to type-level programming will show you a step-by-step translation from value-level computations to type-level computations. You will learn what mechanisms you can use to structure your code and what limits Scala puts on the expressiveness of types.
The talk is based on my type-level experiments in github.
YOU MAY ALSO LIKE:
- Compiling Collections to SQL with Slick (SkillsCast recorded in December 2017)
- ScalaCon 2022: Keynote Meetup (in London on 4th October 2022)
- ScalaCon 2022 (Online Conference on 4th - 8th October 2022)
- What is happening with Java? (Online Meetup on 6th June 2022)
- WebAssembly for Java Developers (Online Meetup on 8th June 2022)
- Not My Type (SkillsCast recorded in November 2021)
- A History of Enterprise Monads (SkillsCast recorded in May 2021)
Type-Level Computations in Scala
Stefan Zeiger
Stefan Zeiger is a member of the Scala compiler team at Lightbend. He was the tech lead for Slick since 2011 and the creator of its predecessor, ScalaQuery. He has been a user of Java and the JVM platform professionally since 1996, working on a diverse range of projects from web servers to GUI frameworks and programming language design, and moving on from Java to Scala since 2008. He is a frequent speaker at ScalaDays and other conferences.