Re: filling area by color atack safety

On 16/03/2024 18:21, Scott Lurndal wrote:

Malcolm McLean <malcolm.arthur.mclean@gmail.com> writes:

On 16/03/2024 13:55, Ben Bacarisse wrote:

Malcolm McLean <malcolm.arthur.mclean@gmail.com> writes:
>

Recursion make programs harder to reason about and prove correct.

>
Are you prepared to offer any evidence to support this astonishing
statement or can we just assume it's another Malcolmism?
>

>
Example given. A recursive algorithm which is hard to reason about and

 Perhaps hard for _you_ to reason about.  That doesn't
generalize to every other programmer that might read that
code.
 

 From experience this one blows the stack, but not always. Sometimes it's OK to use.
Since you can reason about it so easily, you can tell the others when you're OK and when you are not, in a handy intuitive way so that someone thinking of implementing it will know.