give equal rights to types and classes! :)

[Taral]

On 2/2/06, Philippa Cowderoy <flippa at flippac.org> 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 gmail.com>
"Computer science is no more about computers than astronomy is about
telescopes."
    -- Edsger Dijkstra