Write a Blog >>
ICFP 2018
Sun 23 - Sat 29 September 2018 St. Louis, Missouri, United States
Fri 28 Sep 2018 10:30 - 11:00 at Illinois Central - Session 5 Chair(s): Niki Vazou

For many years, GHC has implemented an extension to Haskell that allows type
variables to be bound in type signatures and patterns, and to scope over terms.
This extension was never properly specified. We rectify that oversight here.
With the formal specification in hand, the otherwise-labyrinthine path
toward a design for binding type variables in patterns becomes blindingly
clear. We thus extend ScopedTypeVariables to bind type variables
explicitly,
obviating the Proxy workaround to the dustbin of history.

Fri 28 Sep
Times are displayed in time zone: Guadalajara, Mexico City, Monterrey change

10:30 - 12:00
Session 5Haskell at Illinois Central
Chair(s): Niki VazouUniversity of Maryland, USA
10:30
30m
Talk
Type Variables in Patterns
Haskell
Richard A. EisenbergBryn Mawr College, USA, Joachim BreitnerDFINITY Foundation, Simon Peyton JonesMicrosoft, UK
DOI
11:00
30m
Talk
The Thoralf Plugin: For Your Fancy Type Needs
Haskell
Divesh OtwaniHaverford College, USA, Richard A. EisenbergBryn Mawr College, USA
DOI
11:30
30m
Talk
Suggesting Valid Hole Fits for Typed-Holes (Experience Report)
Haskell
Matthías Páll GissurarsonChalmers University of Technology, Sweden
DOI