give equal rights to types and classes! :)

Taral taralx at
Thu Feb 2 15:10:57 EST 2006

On 2/2/06, Philippa Cowderoy <flippa at> 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?

Taral <taralx at>
"Computer science is no more about computers than astronomy is about
    -- Edsger Dijkstra

More information about the Haskell-prime mailing list