On Thu, 2 Feb 2006, Bulat Ziganshin wrote: > Hello Philippa, > > Thursday, February 02, 2006, 3:38:15 AM, you wrote: > > >> btw, on the > >> http://haskell.galois.com/trac/haskell-prime/wiki/PartialTypeSigs > >> author mean using underscore for "(exists a . a)" types > >> > > PC> No I don't, for a number of technical reasons. > > are you sure? this "_" means "any type that compiler will find > appropriate". is it not the same as "exists a . a" ? >
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. -- [EMAIL PROTECTED] A problem that's all in your head is still a problem. Brain damage is but one form of mind damage. _______________________________________________ Haskell-prime mailing list Haskell-prime@haskell.org http://haskell.org/mailman/listinfo/haskell-prime