[Club2] Talk by Lars Hupel: Wednesday, Nov. 6, 14:00, Room Turing (00.09.38)

[Andrei Popescu]

Dear All,  

The coming Wednesday, Lars will talk about his work on type-class encodings in Scala.  

Cheers, 
  Andrei  


Deriving Type Class Instances in Scala
Lars Hupel
=================================================================================
Wednesday, Nov. 6, 14:00, Room Turing (00.09.38)

The use of type classes has become pervasive in Scala programming. Type
classes are encoded as regular traits, hence the most basic way of
declaring an instance is by defining an (implicit) value of the
appropriate type. However, those values can be constructed arbitrarily,
so we can use all features provided by the language to derive instances.

In this talk, a technique is described to compose instances into larger
ones, which will not only allow for construction of instances for case
classes, but also for other nested structures with minimum boilerplate.
We will also demonstrate use cases and a way to easily test such
instances for adherence to a set of desired laws.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://mailmanbroy.informatik.tu-muenchen.de/pipermail/club2/attachments/20131031/5a5d151d/attachment.html>