Vqfmxx3fpwlcanwlgcf0
SkillsCast

Fast automatic type class derivation with shapeless

10th December 2015 in London at Business Design Centre

There are 36 other SkillsCasts available from Scala eXchange 2015

Please log in to watch this conference skillscast.

Https s3.amazonaws.com prod.tracker2 resource 41088130 skillsmatter conference skillscast o9nohu

"One does not simply derive type classes with a macro." Case classes and ADTs allow us to describe a model and reason about it with ease. Type classes allow us to extend them in a more loosely coupled and composable way than OOP. Both are two of the most appreciated features of Scala. Yet, deriving the right type class instances for all of one's case classes and ADTs is still a cumbersome job. In this talk, you'll dive into how shapeless and type level programming can make this task considerably easier, making it almost entirely automatic.

You'll quickly see the kind of problems shapeless handles for you, why type level programming is the right tool for this job, and the limitations of this solution and what can still be improved in this area.

Have a look at argonaut-shapeless, scalacheck-shapeless and case-app on GitHub.

YOU MAY ALSO LIKE:

Fast automatic type class derivation with shapeless

Alexandre Archambault

Alexandre Archambault is currently working with Criteo. He has been solving data related problems and doing math with Scala professionally since early 2013, and has been contributing regularly to shapeless since mid-2014.

SkillsCast

Please log in to watch this conference skillscast.

Https s3.amazonaws.com prod.tracker2 resource 41088130 skillsmatter conference skillscast o9nohu

"One does not simply derive type classes with a macro." Case classes and ADTs allow us to describe a model and reason about it with ease. Type classes allow us to extend them in a more loosely coupled and composable way than OOP. Both are two of the most appreciated features of Scala. Yet, deriving the right type class instances for all of one's case classes and ADTs is still a cumbersome job. In this talk, you'll dive into how shapeless and type level programming can make this task considerably easier, making it almost entirely automatic.

You'll quickly see the kind of problems shapeless handles for you, why type level programming is the right tool for this job, and the limitations of this solution and what can still be improved in this area.

Have a look at argonaut-shapeless, scalacheck-shapeless and case-app on GitHub.

YOU MAY ALSO LIKE:

About the Speaker

Fast automatic type class derivation with shapeless

Alexandre Archambault

Alexandre Archambault is currently working with Criteo. He has been solving data related problems and doing math with Scala professionally since early 2013, and has been contributing regularly to shapeless since mid-2014.

Photos