17 Jan
2017
17 Jan
'17
12:27 a.m.
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?
Garbage collection? --Will