Type Driven Development Workshop for Scala Days 2018
Talk on Lists of types as nested tuples: https://youtu.be/0wxGrf8toWk
The Type Astronaut's Guide to Shapeless: https://github.com/underscoreio/shapeless-guide
Type Driven Development with Idris: https://www.manning.com/books/type-driven-development-with-idris
Effect Types: https://youtu.be/TK5wutq21tc
Type Class Encoding in Scala: https://youtu.be/jo9EvBMbdko
Anything by Eugenia Cheng (books, talks, whatever)
Constraints Liberate; Liberties Constraint: https://youtu.be/GqmsQeSzMdw
Fix Point Types: https://youtu.be/7xSfLPD6tiQ
Recursion Schemes: https://youtu.be/XZ9nPZbaYfE
Category Theory for Programmers: https://bartoszmilewski.com/2014/10/28/category-theory-for-programmers-the-preface/
Really heavy real-world Applicative Functors talk: https://youtu.be/oRLkb6mqvVM
Here is the super informal quick test drive of this workshop I gave for PHASE: https://youtu.be/x8Cs-tC_ZSs