Path: ...!weretis.net!feeder9.news.weretis.net!news.quux.org!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: Janis Papanagnou <janis_papanagnou+ng@hotmail.com>
Newsgroups: comp.lang.c
Subject: Re: transpiling to low level C
Date: Tue, 17 Dec 2024 18:18:27 +0100
Organization: A noiseless patient Spider
Lines: 42
Message-ID: <vjsbp3$1r3ns$1@dont-email.me>
References: <vjlh19$8j4k$1@dont-email.me>
 <vjn9g5$n0vl$1@raubtier-asyl.eternal-september.org>
 <vjnhsq$oh1f$1@dont-email.me> <vjnq5s$pubt$1@dont-email.me>
 <vjpn29$17jub$1@dont-email.me> <vjps0l$18hon$1@dont-email.me>
 <vjq36r$19sis$1@dont-email.me> <vjqcut$1bld5$1@dont-email.me>
 <877c7z85t2.fsf@nosuchdomain.example.com> <vjs871$1q22j$1@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=utf-8
Content-Transfer-Encoding: 7bit
Injection-Date: Tue, 17 Dec 2024 18:18:28 +0100 (CET)
Injection-Info: dont-email.me; posting-host="649deca45153d0a95c94f9cf3fdae5ae";
	logging-data="1937148"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX18W/uzF99I09cK5PVZpwJrN"
User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:45.0) Gecko/20100101
 Thunderbird/45.8.0
Cancel-Lock: sha1:7BLvkbOs+DfcO1JGWoQh84jD5tA=
X-Enigmail-Draft-Status: N1110
In-Reply-To: <vjs871$1q22j$1@dont-email.me>
Bytes: 2897

On 17.12.2024 17:17, bart wrote:
> On 17/12/2024 01:19, Keith Thompson wrote:
>> [...]
>>
>> """
>> [...] but it isn't strictly *necessary*. [...]
>> """
> 
> This doesn't actually make much sense. So 'goto' is necessary, but
> 'goto' *is*?

Have you issues with reading? ("isn't" is not "is", and Keith's
"[*theoretically*] unnecessary" is not "necessary".)

> 
> If you try to extract any meaning, it is that any control flow can be
> expressed either with 'goto' or with 'recursive functions'.

It's actually the other way round; you can specify functionality
using Recursive Functions, only a subset of these functions can
be expressed with simple loops by algorithmic transformations.[*]

(Of course you *could* thus also take an approach the other way
round, i.e. from an imperative 'while' to a recursive function,
but yet, beyond your [wrong] suppositions, no one was suggesting
that.)

> [...]

(I snipped the irrelevant rest that you made up in your confusion
of not knowing.)

Janis

[*] I had started to write a longer post to explain that in detail
to you, though when I saw Keith's terse post I thought that should
suffice. - Alas, no. So all I want to suggest is to read up things
yourself. I'd suggest books from F.L.Bauer ("Algorithmic Language
and Program Development", for example), or from H.Partsch on that
topic; e.g. "Specification and Transformation of Programs".
(You may come back after reading, in case you are still puzzled.)