Path: ...!weretis.net!feeder9.news.weretis.net!2.eu.feeder.erje.net!3.eu.feeder.erje.net!feeder.erje.net!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: Mikko <mikko.levanto@iki.fi>
Newsgroups: comp.theory
Subject: Re: Sequence of sequence, selection and iteration matters --- Ben agrees
Date: Thu, 11 Jul 2024 10:14:11 +0300
Organization: -
Lines: 48
Message-ID: <v6o0o3$2bt1v$1@dont-email.me>
References: <v6e7va$c4sv$1@dont-email.me> <v6g444$pdc2$1@dont-email.me> <v6go4d$sg7f$1@dont-email.me> <80ebfd233bf599468126ddf048190bd0799605bd@i2pn2.org> <v6htmc$12ktu$1@dont-email.me> <dcd1b46e5442c8a532a33873f396b9cb9b0688a5@i2pn2.org> <v6hvps$12ktu$3@dont-email.me> <cf764821d8b9b08443fc6cd3d285bc0567f31fa6@i2pn2.org> <v6i1if$12ktu$6@dont-email.me> <17da0ceefca3bfd4f06a789d24ad13ee55146692@i2pn2.org> <v6ilo7$19kmv$1@dont-email.me> <9353b62747ce599e737b541851b197460c8be63e@i2pn2.org> <v6le15$1qpm2$1@dont-email.me> <96c4912952776b13821499416e070b562dbe8b27@i2pn2.org>
MIME-Version: 1.0
Content-Type: text/plain; charset=utf-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Thu, 11 Jul 2024 09:14:12 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="d915db998623bee0999786efb2838ac1";
	logging-data="2487359"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX18+14qqrNCM4c9GM87JQ1aK"
User-Agent: Unison/2.2
Cancel-Lock: sha1:MzN4t1kBZnI14fo3ZFnlELLCFXk=
Bytes: 3213

On 2024-07-10 11:24:33 +0000, Richard Damon said:

> On 7/10/24 3:42 AM, Mikko wrote:
>> On 2024-07-09 11:29:20 +0000, Richard Damon said:
>> 
>>> On 7/9/24 2:35 AM, Mikko wrote:
>>>> On 2024-07-09 01:30:01 +0000, Richard Damon said:
>>>> 
>>>>> On 7/8/24 8:51 PM, olcott wrote:
>>>>>> On 7/8/2024 7:31 PM, Richard Damon wrote:
>>>>>>> On 7/8/24 8:21 PM, olcott wrote:
>>>>>> 
>>>>>>>> 
>>>>>>>> When you need groceries you cannot say that you
>>>>>>>> don't need groceries until AFTER you get more groceries.
>>>>>>>> 
>>>>>>> 
>>>>>>> Which is just Red Herring, as I am not a program, and the program is not me.
>>>>>>> 
>>>>>> 
>>>>>> Free will does not make lies into truth.
>>>>>> If HHH reports that DDD does not need to abort
>>>>>> DDD before HHH aborts DDD then HHH is a liar.
>>>>> 
>>>>> How can HHH "report" something while it is still running?
>>>> 
>>>> If HHH is not a pure function it can have side effects while still
>>>> running. A side effect can "report".
>>>> 
>>> 
>>> But he keeps on insting that HHH *IS* a pure function, and that we are 
>>> stupid if we forget that when he forgets to keep it in the description 
>>> because HE is allowed to be sloppy, but we can't take benefit from that.
>> 
>> In such situations I may point out that OP did not require pure function
>> (or whatever he forgot to require).
>> 
> 
> Yes, he might make such a claim, but if you use the fact that did 
> specify pure function that time to show him wrong he will answer that 
> of course it must be a pure function, that has always been in the 
> requirements.

He may say so but often he says something else instead.

-- 
Mikko