Wildcard type annotations

[Philippa Cowderoy]

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 at 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.