[Haskell-cafe] Circular pure data structures?

Felipe Lessa felipe.lessa at gmail.com
Tue Jul 14 18:37:50 EDT 2009


On Wed, Jul 15, 2009 at 08:27:04AM +1000, John Ky wrote:
> a :: Data
>
> let b = getNext a
> let c = getNext b
>
> c == a -- Gives True

What do you mean? This works

    type Data = ()
    getNext = id

but I guess this is not what you meant ;).

--
Felipe.


More information about the Haskell-Cafe mailing list