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

Nicholls, Mark Nicholls.Mark at mtvne.com
Fri Jan 11 11:42:02 EST 2008

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


Preferably illustrating it in terms of logic rather than lambda


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

More information about the Haskell-Cafe mailing list