Blogs (1) >>
POPL 2019
Sun 13 - Sat 19 January 2019 Cascais, Portugal
Mon 14 Jan 2019 17:00 - 17:30 at Sala IV - PADL Session 2

The type class system in the Haskell Programming language provides a useful abstraction for a wide range of types, such as those that support comparison, serialization, ordering, between others. This system can be extended by the programmer by providing custom instances to one’s custom types. Yet, this is often a monotonous task. Some notions, such as equality, are very regular regardless if it is being encoded for a ground type or a type constructor.

In this paper we present a technique that unifies the treatment of ground types and type constructors whenever possible. This reduces code duplication and improves consistency. We discuss the encoding of several classes in this form, including the generic programming facility in GHC.

Slides (slides.pdf)395KiB

Mon 14 Jan

PADL-2019
16:00 - 17:30: PADL 2019 - PADL Session 2 at Sala IV
PADL-201916:00 - 16:30
Talk
PADL-201916:30 - 17:00
Talk
Kristoffer Just Arndal AndersenAarhus University, Ilya SergeyYale-NUS College and National University of Singapore
Pre-print
PADL-201917:00 - 17:30
Talk
Alejandro SerranoUtrecht University, Netherlands, Victor Cacciari MiraldoUtrecht University, Netherlands
Link to publication DOI File Attached