Write a Blog >>
Scala 2017
Sun 22 - Mon 23 October 2017 Vancouver, Canada
co-located with SPLASH 2017
Sun 22 Oct 2017 11:00 - 11:30 at Regency C - Types Chair(s): Anthony Sloane

Type classes enable a powerful form of ad-hoc polymorphism which provide solutions to many programming design problems. Inspired by this, Scala programmers have striven to emulate them in the design of libraries like Scalaz and Cats.

The natural encoding of type classes combines subtyping and implicits, both central features of Scala. However, this encoding has limitations. If the type class hierarchy branches, seemingly valid programs can hit implicit resolution failures. These failures must then be solved by explicitly passing the implicit arguments which is cumbersome and negates the advantages of type classes.

In this paper we describe instances of this problem and show that they are not merely theoretical but often arise in practice. We also discuss and compare the space of solutions to this problem in Scala today and in the future.

Sun 22 Oct

scala-2017-papers
10:30 - 12:00: Scala 2017 - Types at Regency C
Chair(s): Anthony SloaneMacquarie University
scala-2017-papers10:30 - 11:00
Talk
Abel NietoUniversity of Waterloo
DOI Pre-print File Attached
scala-2017-papers11:00 - 11:30
Talk
Adelbert ChangUnaffiliated
DOI Pre-print
scala-2017-papers11:30 - 12:00
Talk
Leo OsvaldPurdue University, USA, Tiark RompfPurdue University
DOI Media Attached