Deutsch English Français Italiano |
<v6o0qt$2btd8$1@dont-email.me> View for Bookmarking (what is this?) Look up another Usenet article |
Path: ...!npeer.as286.net!npeer-ng0.as286.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:15:41 +0300 Organization: - Lines: 47 Message-ID: <v6o0qt$2btd8$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> <v6m3g6$1tj30$8@dont-email.me> MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8; format=flowed Content-Transfer-Encoding: 8bit Injection-Date: Thu, 11 Jul 2024 09:15:41 +0200 (CEST) Injection-Info: dont-email.me; posting-host="d915db998623bee0999786efb2838ac1"; logging-data="2487720"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX18RhVL8Lioun35uDZaEDHFC" User-Agent: Unison/2.2 Cancel-Lock: sha1:r5fF7h3URiMj7CaVbVh+hQAqLPo= Bytes: 3146 On 2024-07-10 13:48:53 +0000, olcott said: > 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. The important point is that you can't say "pure function" unless you say "pure function". -- Mikko