[Haskell-cafe] Type-level lambdas in Haskell? ( was
Multiparameter class error)
jbapple+haskell-cafe at gmail.com
Wed Feb 21 20:19:10 EST 2007
On 2/21/07, Alfonso Acosta <alfonso.acosta at gmail.com> wrote:
> In my opinion adding Type-level lambdas would be the way to go, but
> they unfortunately are not part of Haskell.
> Is there any extension to the language covering type-level lambdas or
> even a plan to include them in next revision?
SPJ suggested that type lambdas aren't in GHC because they unification
for type inference impossible:
The feature list for EHC indicates that it does support type lambdas,
though I haven't tested this:
"A History of Haskell":
points to "A system of constructor classes"
regarding unification and type lambdas.
More information about the Haskell-Cafe