ICFP 2018 (series) / Haskell 2018 (series) / Haskell 2018 /
Type Variables in Patterns
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
obviating the Proxy workaround to the dustbin of history.
Fri 28 SepDisplayed time zone: Guadalajara, Mexico City, Monterrey change
Fri 28 Sep
Displayed time zone: Guadalajara, Mexico City, Monterrey change
10:30 - 12:00
Session 5Haskell at Illinois Central
Chair(s): Niki Vazou University of Maryland, USA
|Type Variables in Patterns|
Richard A. Eisenberg Bryn Mawr College, USA, Joachim Breitner DFINITY Foundation, Simon Peyton Jones Microsoft, UKDOI
|The Thoralf Plugin: For Your Fancy Type Needs|
Divesh Otwani Haverford College, USA, Richard A. Eisenberg Bryn Mawr College, USADOI
|Suggesting Valid Hole Fits for Typed-Holes (Experience Report)|
Matthías Páll Gissurarson Chalmers University of Technology, SwedenDOI