Connecting...

Pexels Photo 68725

Lifting Data Structures to the Type-level by Jon Pretty

Pexels Photo 68725

Short for time?

This fast-paced tour by Jon Pretty of how various features of the Scala type system can be used to construct type-level representations of a number of different data types in Scala will help inform you what you need to without the long day of learning! 

 

Lifting Data Structures to the Type-level 

In this talk, Jon will give a fast-paced tour of how various features of the Scala type system, many of them under-explored, can be harnessed to construct type-level representations of a number of different data types in Scala. 

The type system offers a limited number of “tools”, such as subtyping, least-upper-bound inference, type unification, singleton types and dependent types and (of course) implicit search, which we can compose in interesting ways to implement type-level operations on these type-level data structures. Value-level operations follow naturally from the types, but this is much less interesting.

 

You can view the slides for Jon's talk here.

 

This talk was given by Jon Pretty at Typelevel Berlin 2018.