Document Type
Conference Proceeding
Publication Title
Haskell Symposium 2018
Publication Date
9-2018
Abstract
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.
DOI
https://doi.org/10.1145/3242744.3242753
Citation
Eisenberg, R.A, Breitner, J., and Simon Peyton Jones. 2018. "Type variables in patterns." SIGPLAN Not. 53.7: 94–105.