Write a Blog >>
ICFP 2019
Sun 18 - Fri 23 August 2019 Berlin, Germany
Fri 23 Aug 2019 15:43 - 16:06 at Elk - GHC Chair(s): Brent Yorgey

At Haskell Symposium 2018, Thomas Winant and I proposed a language extension for allowing explicit dictionary applications in GHC Haskell. Contrary to previous proposals, we were able to preserve coherence and global uniqueness of instances by allowing dictionary applications only when two criteria were satisfied. One of those criteria (the “coherence criterion”) was hard to implement and our prototype implementation in GHC 8.0 actually only checked the other one. The other criterion (the “role criterion”) was less problematic, building on existing GHC infrastructure, specifically roles.

In this talk, I will present a more practical variant of the proposal that is implementable in practice. It features an alternative coherence criterion that is slightly more restrictive but still sufficiently broad for practical examples. Additionally, I will discuss some nice applications, benchmark results and limitations. My goal is to gather feedback and look for collaborators for making this proposal a reality. The same proposal is being worked out in a GHC proposal.

Presentation (presentatie.pdf)317KiB

Fri 23 Aug
Times are displayed in time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

15:20 - 16:30: HIW 2019 - GHC at Elk
Chair(s): Brent YorgeyHendrix College
hiw-2019-papers15:20 - 15:43
Matthías Páll GissurarsonChalmers University of Technology, Sweden
hiw-2019-papers15:43 - 16:06
Dominique DevrieseVrije Universiteit Brussel
File Attached
hiw-2019-papers16:06 - 16:30
Ryan ScottIndiana University at Bloomington, USA
File Attached