Keynote: Typelevel in 2016

There has been a huge amount of activity around the Typelevel family of projects this year. The arrival of Cats on the scene marked the beginning an exciting period of collaboration among the Typelevel projects and reaching out to the wider Scala community that hadn't been possible before. Now, at the end of 2016, we have had two Typelevel conferences, and numerous other workshops and hack days. Things are going from strength to strength. This talk will give a flavour of what has been going on: the collaborations between Algebra, Spire and Cats; between Cats and shapeless; between shapeless and scodec, doobie, ScalaCheck and Circe; and how all of this is feeding into the rebooted Typelevel Scala. It's also an open invitation to people right across the Scala spectrum to get involved in these projects and see what they can do for them in their own work.