[Haskell-cafe] Object-oriented programming, Haskell and
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