It Is What It Is (And Nothing Else) – Why Recursion Still Matters

Re:It Is What It Is (And Nothing Else) – Why Recursion Still... by AnimalMuppet on Monday February 22, 2016 @01:41PM (#11153179)

> If you guard break with if then you also need to prove if the "if" condition does indeed provide a dataflow path to break.

In all cases, for all possible inputs.

On the other hand, if that's what your for loop looks like, you probably have the same problem of proving that your recursion terminates (in all cases, for all possible inputs).

[ Parent | on HN ]

Re:It Is What It Is (And Nothing Else) – Why Recursion Still... by pjmlp on Monday February 22, 2016 @02:04PM (#11153373)

Of course, I was just arguing against the OP that all loops terminate.

[ Parent | on HN ]