Path: ...!news.mixmin.net!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail From: olcott Newsgroups: comp.theory Subject: Re: Sequence of sequence, selection and iteration matters --- Ben agrees Date: Wed, 10 Jul 2024 08:48:53 -0500 Organization: A noiseless patient Spider Lines: 45 Message-ID: References: <80ebfd233bf599468126ddf048190bd0799605bd@i2pn2.org> <17da0ceefca3bfd4f06a789d24ad13ee55146692@i2pn2.org> <9353b62747ce599e737b541851b197460c8be63e@i2pn2.org> MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 7bit Injection-Date: Wed, 10 Jul 2024 15:48:54 +0200 (CEST) Injection-Info: dont-email.me; posting-host="1ca7ba779153ded89a6e04f3275941c5"; logging-data="2018400"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX1+HSGW2/bXlr4RBNGFgkkMd" User-Agent: Mozilla Thunderbird Cancel-Lock: sha1:BWOC2eNgSFhbiYe7E3G/vdBM9ss= In-Reply-To: Content-Language: en-US Bytes: 3129 On 7/10/2024 2: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). > If I don't say pure function then Richard tries to get away with cheating. I stopped saying it so that people that do not know what a pure function is wouldn't get confused. -- Copyright 2024 Olcott "Talent hits a target no one else can hit; Genius hits a target no one else can see." Arthur Schopenhauer