[Haskell-cafe] What does it mean that objects are fixpoints? (OO'Haskell)

Sean Leather leather at cs.uu.nl
Tue Sep 15 11:40:07 EDT 2009

> I'm trying to wrap my head around OO'Haskell's notion of objects as
> fixpoints.
> Is OO'Haskell's use of mfix simply a use of something like a monadic
> Y-combinator to give the object access to its own "identity"?

I don't remember the details exactly, but isn't it to support open recursion
for inherited/overridden methods?


-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://www.haskell.org/pipermail/haskell-cafe/attachments/20090915/05bc33ff/attachment.html

More information about the Haskell-Cafe mailing list