Re: filling area by color atack safety

On Sat, 16 Mar 2024 18:21:38 GMT
scott@slp53.sl.home (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.
 
 

As a matter of fact, David Brown was not able to reason about depth of
recursion in fir's code. And you answered David's post without spotting
his mistake.
Now, I don't know if you didn't spot his mistake because you didn't read
this part of his message or because for you too it was hard to reason
about depth of recursion.