Type-Level Programming in Scala, Part 3 | Rock the JVM

Written version which includes the starter and final code: https://blog.rockthejvm.com/type-leve...

This mini-series is TOUGH. We learn to use the power of the Scala compiler to solve and validate problems for us, before the code can even compile.

In this final part of the series we'll sort types... at compile time.

This 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 implicits 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
3:06 lists as types and the merge sort plan
5:26 splitting a list
17:48 merging lists
30:45 sorting
40:11 making the compiler return types