Re: Wildcard type annotations

On Mon, 23 Jan 2006, John Meacham wrote:

note that this is subsumed by my existential type synonyms proposal

Hate to go netcop, but I suspect there's at least one person reading whose mailreader doesn't do threads and thus who'll have a fun time working out whether you're responding to my first or second post (it's the first, btw).

type Any = exists a . a

so Any is any type.

at least, I think that works. I didn't get a whole lot of feedback on the proposal.

It's on the wiki, right? Will look later. -- flippa@flippac.org There is no magic bullet. There are, however, plenty of bullets that magically home in on feet when not used in exactly the right circumstances.