[Haskell-cafe] type questions again....

[Nicholls, Mark]

Can someone explain (in simple terms) what is meant by existential and
universal types.

 

Preferably illustrating it in terms of logic rather than lambda
calculus.

 

There's plenty of stuff out there on it....but most of it seems double
dutch (no offense to the dutch intended).

 

 

-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://www.haskell.org/pipermail/haskell-cafe/attachments/20080111/f1e94534/attachment.htm