• upcoming data 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
Q&A session with Martin Odersky and Scala 3 team
Martin Odersky, Sébastien Doeraene, Krzysztof Romanowski, Darja Jovanovic, Guillaume Martres, Nicolas Stucki
fallback image
Scala
Your best buddies
Krzysztof Borowski, Krzysztof Romanowski
fallback image
Scala
Libra: A Holistic Recommender System for Software Engineering
Luca Ponzanelli
fallback image
Scala
Designing libraries for source and binary compatibility
Sébastien Doeraene
All videos
  • Events
  • Blog
  • Watch
  • Contributors
  • Privacy Policy
  • FAQ
©2025 Sphere.it by VirtusLab