Some experiments I did after watching these talks on dependent types by Jon Pretty and Heather Miller using and changing their examples:
- Jon Pretty: Type Members vs Type Parameters - flatMap Oslo 2016 https://vimeo.com/165930815
- Jon Pretty: Type Members vs Type Parameters - NE Scala 2016 https://www.youtube.com/watch?v=R8GksuRw3VI
- Heather Miller: Academese to English: Scala's Type System, Dependent Types and What It Means To You https://www.youtube.com/watch?v=ptCvn4-lyXM