All videos
Opera view

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

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,…
Read more

Other videos that you might like

fallback image
Scala
The bytecode we all runnin’
Krzysztof Romanowski
fallback image
Scala
Where Ammonites thrive
Aleksander Boruch-Gruszecki
fallback image
Scala
Serialization toolbox for Akka messages, events and persistent state that helps achieve compile-time guarantee on serializability
Paweł Lipski, Marcin Złakowski
fallback image
Scala
Metals – Your Next IDE?
Tomasz Godzik
All videos