On Thu, 2 Feb 2006, Taral wrote: > On 2/2/06, Philippa Cowderoy <[EMAIL PROTECTED]> wrote: > > Not in the context of a predicative type system. Also, if we treat it > > simply as an annotation (exists a . a), we end up throwing away the > > additional information inferred. > > There's that word again. Can someone explain what "predicative" means, > in detail? >
For historical reasons that's hard work. The short version is "type variables can only be instantiated to monotypes", whereas in an impredicative system type variables can be instantiated to types including quantifiers. -- [EMAIL PROTECTED] 'In Ankh-Morpork even the shit have a street to itself... Truly this is a land of opportunity.' - Detritus, Men at Arms _______________________________________________ Haskell-prime mailing list [email protected] http://haskell.org/mailman/listinfo/haskell-prime
