[Haskell-cafe] Language extensions [was: Memoization]

[Bulat Ziganshin]

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:Bulat.Ziganshin at gmail.com