Path: ...!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: Michael S <already5chosen@yahoo.com>
Newsgroups: comp.lang.c
Subject: Re: filling area by color atack safety
Date: Sun, 17 Mar 2024 15:32:03 +0200
Organization: A noiseless patient Spider
Lines: 31
Message-ID: <20240317153203.00006be1@yahoo.com>
References: <ut3669$21eur$1@i2pn2.org>
	<ut4020$2s8ov$1@dont-email.me>
	<87wmq2jn7s.fsf@bsb.me.uk>
	<ut4ba7$2uits$1@dont-email.me>
	<SqlJN.144025$CYpe.59290@fx40.iad>
MIME-Version: 1.0
Content-Type: text/plain; charset=US-ASCII
Content-Transfer-Encoding: 7bit
Injection-Info: dont-email.me; posting-host="fd62a22e31fcf9828d4eedf77229489a";
	logging-data="3728424"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX19IRkS1nrzBIu0qjLEBn4VkiFckfB4Z4cQ="
Cancel-Lock: sha1:oNVPzUZ2FoPoH3U9/aYJHxRL39s=
X-Newsreader: Claws Mail 3.19.1 (GTK+ 2.24.33; x86_64-w64-mingw32)
Bytes: 2076

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.