Hello Andrew, Sunday, May 27, 2007, 5:19:51 PM, you wrote:
> Seriously. Haskell seems to attract weird and wonderful type system > extensions like a 4 Tesla magnet attracts iron nails... And most of > these extensions seem to serve no useful purpose, as far as I can > determine. existentials is something like OOP objects but without inheritance - they pack data plus code together and make only methods available. you can find more info here: http://haskell.org/haskellwiki/OOP_vs_type_classes there is also recent Simon Marlow paper about implementing dynamic extensible extensions and, in fact, OOP with inheritance using these existentials recursively -- Best regards, Bulat mailto:[EMAIL PROTECTED] _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe