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: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

15:20 - 16:30
GHCHIW at Elk
Chair(s): Brent YorgeyHendrix College
15:20
23m
Talk
HoleFitPlugins and the future of interactive development in GHC
HIW
Matthías Páll GissurarsonChalmers University of Technology, Sweden
15:43
23m
Talk
Explicit Dictionary Applications - From Theory to Practice?
HIW
Dominique DevrieseVrije Universiteit Brussel
File Attached
16:06
23m
Talk
Visible dependent quantification
HIW
Ryan ScottIndiana University at Bloomington, USA
File Attached