The Limitations of Type Classes as Subtyped Implicits, ACM SCALA 2017. [Slides]
Simplicity in composition, Scala World 2017. [Slides]
Functional Geekery Episode 86, March 2017.
Becoming a cat(s) person, Typelevel Summit 2016. [Video]
External blog posts
EDSLs as functions, October 2016.
Subtype type classes don’t work, September 2016.
It’s programs all the way down, September 2016.
Information hiding, enforced, March 2016.
Of variance and functors, February 2016.
How do I error handle thee?, February 2014.
Towards Scalaz (Part 2), December 2013.
Towards Scalaz (Part 1), October 2013.
Distributed (in-memory) graph processing with Akka, August 2012.