Re: Re[3]: give equal rights to types and classes! :)

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