give equal rights to types and classes! :)
bulatz at HotPOP.com
Thu Feb 2 06:45:59 EST 2006
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" ?
Bulat mailto:bulatz at HotPOP.com
More information about the Haskell-prime