will.yager at gmail.com
Tue Jan 17 05:27:07 UTC 2017
I'm not sure if this is what you're looking for, but all this talk of
bifurcation and infinite recursion suggests to me that you might be
interested in Control.Monad.Free and Data.Fix. They may correspond to the
concept you're getting at.
> But could we avoid the runaway memory consumption, but have the
"unfolding," the statelessness by some comp-sci sleight of hand?
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the Haskell-Cafe