strict bits of datatypes
jon.fairbairn at cl.cam.ac.uk
Sun Mar 18 07:03:21 EDT 2007
apfelmus at quantentunnel.de writes:
> Jón Fairbairn wrote:
> > apfelmus at quantentunnel.de writes:
> >> Besides, having
> >> let q = FinCons 3 q in q
> >> not being _|_ crucially depends on memoization.
> > Does it?
> PS: Your derivations are fine in the case of a non-strict FinCons. But
> the point is to make in strict.
Yes, I was trying to be subtle but was too sleepy and lost
Jón Fairbairn Jon.Fairbairn at cl.cam.ac.uk
More information about the Haskell-prime