sivanov at colimite.fr
Wed Jan 18 08:32:52 UTC 2017
Thus quoth Lawrence Bottorff at 01:11 on Wed, Jan 18 2017:
> I guess I'm using a looser definition of recursion, something not
> exactly "self-referential." For example, I'm on the phone with
> someone, and then I accept a call-waiting call. You can go into
> multiple depths of call waiting, then wind your way back out as you
> hang up on each -- all the way back to the original caller.
> This could go on and on, new polynomials substituted into one of the
> variables of the previous.
This sounds a lot like recursive (inductive/coinductive) data
-------------- next part --------------
A non-text attachment was scrubbed...
Size: 487 bytes
Desc: not available
More information about the Haskell-Cafe