[Haskell-cafe] Re: Quantifying Partial Type Annotations
ashley at semantic.org
Wed Oct 11 22:36:38 EDT 2006
Philippa Cowderoy wrote:
> I'd like to propose a new quantifier for type variables, which for now
> I'll call unknown - correspondingly I'll talk about "unknown-quantified
> variables" and probably "unknown variables" where it's not ambiguous.
Unqualified type variables are of course implicitly qualified "forall".
In an ideal world, where compatibility with 98 were not an issue, they
would be "unknown" and we wouldn't need an "unknown" keyword. But it's
not, and it is, and they aren't, so perhaps we do...
More information about the Haskell-Cafe