Type-Level Programming in Scala, part 1 | Rock the JVM

Written version: https://blog.rockthejvm.com/type-leve...

Part 2 here:    • Type-Level Programming in Scala, Part...  

This video is a TOUGH one. We'll learn to use the power of the Scala compiler to solve and validate problems for us, before the code can even compile.

This video (and the subsequent parts of this mini-series) is for the advanced Scala programmer. At a minimum, I'll need you to know how to define type aliases and how implicit methods work in Scala. We'll take implicit methods to another level and we will guide the compiler to build instances of certain types that mean particular things to us (for example, whether a number is smaller than another).

We discuss implicit methods in detail in the Rock the JVM advanced Scala course:
https://rockthejvm.com/p/advanced-scala
If you're busy, you can take the Scala at Light Speed downloadable 2-hour course, which is FREE:
https://rockthejvm.com/p/scala-at-lig...

Follow Rock the JVM on:
LinkedIn:   / rockthejvm  
Twitter:   / rockthejvm  
Blog: https://rockthejvm.com/blog

-------------------------------------------------------------------------
Home: https://rockthejvm.com
-------------------------------------------------------------------------

Contents:
0:00 intro
1:02 the small reflection boilerplate we won't use
4:31 intro to type-level programming
5:56 natural numbers as types (Peano)
9:12 less-than as a type
11:17 the first axiom with implicits
16:05 the second axiom with implicits
17:26 how the compiler "proves"
22:08 less-than-equal as a type