On Thu, 4 Nov 1999, Ronald J. Legere wrote:
>
> After spending some time trying to rewrite some examples
> of the usefullness of Existential types without using them,
> I am convinced that these things really do add some expressive
> power.
> I guess what I am trying to communicate by these questions, is
> something along these lines: If existential types are so natural
> (and reading Cardulli + Wagner makes me feel that they are) then
> why arent they part of the types system from the get go? This made
> me think that they dont really add anything to your expressive
> power after all, and being a minimalist, I sought this angle.
Being a minimalist, and reading about the curry howard isomorphism, makes
you feel that you should have existential types, but maybe drop ADT's
trough the module system.
/Lars L
