Hello!
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?
Thanks,
Manuel
___
Haskell-Cafe
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
On Tue, Sep 15, 2009 at 10:14 AM, Manuel Simoni msim...@gmail.com wrote:
Hello!
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?