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

An advanced tutorial on using the Scala compiler and implicit methods to solve and validate problems at compile time.

Written version: blog.rockthejvm.com/type-level-programming-part-1/ Part 2 here: youtube.com/watch?v=EGAJJpGODHg 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: rockthejvm.com/p/advanced-scala If you're busy, you can take the Scala at Light Speed downloadable 2-hour course, which is FREE: rockthejvm.com/p/scala-at-light-speed Follow Rock the JVM on: LinkedIn: linkedin.com/company/rockthejvm Twitter: twitter.com/rockthejvm Blog: rockthejvm.com/blog ------------------------------------------------------------------------- Home: 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