[Haskell-cafe] Re: Quantifying Partial Type Annotations

Ashley Yakeley 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[1] - 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...

Ashley Yakeley
Seattle WA

More information about the Haskell-Cafe mailing list