# Exploring Type-Level Programming in Scala

In this introduction to type-level programming in Scala, I've discussed 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.

**Watch the recording:**

%[https://www.youtube.com/watch?v=0PEOK_G43MU] 

<div data-node-type="callout">
<div data-node-type="callout-emoji">💡</div>
<div data-node-type="callout-text"><em>You can find the slides </em><a target="_blank" rel="noopener noreferrer nofollow" href="https://www.slideshare.net/jv2301/exploring-type-level-programming-in-scala" style="pointer-events: none"><em>here</em></a></div>
</div>