[Haskell-cafe] Object-oriented programming, Haskell and existentials

Mitchell, Neil neil.mitchell.2 at credit-suisse.com
Thu Oct 16 05:00:28 EDT 2008

> Yes, hbc had existential types around 1993.
> I've used an encoding of existentials in O'Caml (well F#), 
> and it works, but I find it painful.
> And when a very smart but non-CS person saw it his mind 
> boggled, whereas he understood the existential version just fine.

I'm a CS person, and when I saw the encoding of existentials my mind
boggled. I just ended up giving up type checking entirely and using obj
(the F# equivalent of Data.Dynamic) throughout.



Please access the attached hyperlink for an important electronic communications disclaimer: 


More information about the Haskell-Cafe mailing list