[Haskell-cafe] Hyper-recursion?

Sergiu Ivanov 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
structures.

-- 
Sergiu
-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 487 bytes
Desc: not available
URL: <http://mail.haskell.org/pipermail/haskell-cafe/attachments/20170118/38d30151/attachment.sig>


More information about the Haskell-Cafe mailing list