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.