• upcoming DX event
  • Podcasts
  • Become a partner
All videos
Opera view
Enjoyed this content? 0
Spread the word
Twitter LinkedIn Facebook
Copy link

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
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
Lessons to Scala Native from Kotlin/Native
Alexander Podkhalyuzin
fallback image
Scala
Integrating Developer Experiences – Build Server Protocol
Justin Kaeser
fallback image
Scala
Integrating IDEs with Dotty, the experimental Scala compiler
Guillaume Martres
All videos
  • Events
  • Blog
  • Watch
  • Contributors
  • Privacy Policy
  • FAQ
©2025 Sphere.it by VirtusLab