Path: news.eternal-september.org!eternal-september.org!.POSTED!not-for-mail From: bart Newsgroups: comp.lang.c Subject: Re: Loops (was Re: do { quit; } else { }) Date: Sat, 19 Apr 2025 20:55:05 +0100 Organization: A noiseless patient Spider Lines: 60 Message-ID: References: <20250413072027.219@kylheku.com> <20250419092849.652@kylheku.com> MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 7bit Injection-Date: Sat, 19 Apr 2025 21:55:04 +0200 (CEST) Injection-Info: dont-email.me; posting-host="5c7860f03a8e4f1e49f90b82bdb5768f"; logging-data="2186475"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX1/xZlHf3Aqzf7cJazlQVhVD" User-Agent: Mozilla Thunderbird Cancel-Lock: sha1:FnWR814LLkkMpa8kMqqYooPNtig= In-Reply-To: Content-Language: en-GB On 19/04/2025 20:22, James Kuyper wrote: > On 4/19/25 12:36, Kaz Kylheku wrote: >> On 2025-04-19, Scott Lurndal wrote: >>> bart writes: >>>> On 18/04/2025 19:10, James Kuyper wrote: > ... >>>>> If all you can do is "hope for the best", you're doing it wrong. It's >>>>> your job to ensure that they are not arbitrary unrelated expressions, >>>>> but correctly related expressions, and that's no different from your >>>>> responsibility for all of the other expressions that make up your >>>>> program. >>>> >>>> >>>> >>>> If you find that problematic, you shouldn't be programming in >>>>> any language, but certainly not in C. >>>> >>>> I see it didn't take you long to get to the personal insult. What is it >>>> with this group? >>> >>> It's not an insult, it is a simple fact. >> >> It's not a fact that someone who finds tools problematic shouldn't >> be using them. > > I wasn't talking about him finding the tools problematic. I was talking > aobut him find it difficult to ensure that the expressions are not > arbitrary unrelated expressions, but are in fact correctly related > expressions. If you cannot ensure that A, B, and C have the correct > relationship to make for(A; B; C) work as needed, then you also lack to > ability to make sure that the expressions in {A; B; C:} work together as > needed, and that ability is fundamental to computer programming. In other words, the feature is dumb. The compiler cannot do any checking: for (i=0; i