Enjoyed this content? 0

Exploring Type-Level Programming in Scala

September 15, 2020

In this introduction to type-level programming in Scala, we are going to discuss how we can leverage the full power of the type system to verify domain properties of an application at compile-time, instead of doing runtime verifications at the value-level.

Tags

Scala

About the speaker

Jorge Vásquez

Software Developer at Scalac

Software Developer focused on the backend. He had the chance to work with several technologies and programming languages across different industries, such as Telco, AdTech,…

Other videos that you might like

Bridging the tooling gap with Scala.js

Gabriele Petronella

Mutatis Mutandis: Typesafe, transactional, indexed database queries in the cloud

Designing libraries for source and binary compatibility

Sébastien Doeraene

Q&A session with Martin Odersky and Scala 3 team

Martin Odersky, Sébastien Doeraene, Krzysztof Romanowski, Darja Jovanovic, Guillaume Martres, Nicolas Stucki