Talk: 14:15–15:00 (English)

Higher-Kinded Data Types By Example

Strongly-typed highly adaptable records

My example-driven talk will introduce and explore “Higher Kinded Datatypes” (HKDs), a novel approach to parameterizing data types which allows greater flexibility, re-use, and improved type-safety when performing common tasks on data.

While many data types are parameterized over the values in the type; HKDs are generalized over a container type which wraps each field.

This approach also allows us to “zip” record fields in a type-safe way, allowing us to append structured error messages to parsers among many other things. It is a surprisingly versatile technique, which hasn’t yet received the attention it deserves.

The talk may also cover practical developments in this area such as the barbies HKD combinator library and the derivable “Generics” representation of this idea a’la higgledy, both of which make writing practical everyday code using HKDs much easier.

Chris Penner


Developer, teacher, aspiring opsimath, if Cunningham’s law was a person. Author of Optics By Example.