Where I introduce version 0.2.0 of TwoTails. Due note, as of 0.3.0 I've fixed the major issues and it works for the generalized case.
I give a first peek at the library Autolifts and discuss some of the things it attempts to solve with a brief but relevant theoretical background on the concept of "lifting" as it applies to functions. I'm a bit bummed that the Q&A which followed was not captured in the video as there were some great demo's (like a 64 level Option of Option of ... of Int being mapped.)
A talk given at several different Meetups around the country: New York, Chicago and Boston. This talk focused more on the "how to" of dependent types as found in Scala. It is intended for intermediate to advanced Scala developers or those new to Scala but familiar with Template Meta-programming in languages like C++.
A small talk given at North East Scala Symposium. The 1rst section is a great example of "why dependent types" in Scala and what benefits you can gain out of using them in code. However, as happy as I was about the 1rst section, I left out the one slide that really drove home the message of the 2nd and 3rd portions of the talk. The one concept which connected everything together.