Path: ...!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: Ben Bacarisse <ben@bsb.me.uk>
Newsgroups: comp.lang.c
Subject: Re: transpiling to low level C
Followup-To: comp.theory
Date: Sun, 22 Dec 2024 14:19:13 +0000
Organization: A noiseless patient Spider
Lines: 35
Message-ID: <871pxzyf4u.fsf@bsb.me.uk>
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> <86ikrdg6yq.fsf@linuxsc.com>
	<vk78it$77aa$1@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain
Injection-Date: Sun, 22 Dec 2024 15:19:13 +0100 (CET)
Injection-Info: dont-email.me; posting-host="83bd2f31ed18fb672f5c0d53981e570d";
	logging-data="697279"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1/1rcqoNDAWb0lL3djn7xSbgJkmNEINbNg="
User-Agent: Gnus/5.13 (Gnus v5.13)
Cancel-Lock: sha1:HHrd+sh6s/B61CZGtxce5S2JSW0=
	sha1:Vee6QoLxSh85RY9gYeyK156NO+w=
X-BSB-Auth: 1.3837e9ae7b4ec1fe15d7.20241222141913GMT.871pxzyf4u.fsf@bsb.me.uk
Bytes: 2469

Janis Papanagnou <janis_papanagnou+ng@hotmail.com> writes:

> On 21.12.2024 02:28, Tim Rentsch wrote:
>> Janis Papanagnou <janis_papanagnou+ng@hotmail.com> writes:
>> 
>>> On 16.12.2024 00:53, BGB wrote:
>>>
>>>> [...]
>>>>
>>>> Pretty much all higher level control flow can be expressed via goto.
>>>
>>> A 'goto' may be used but it isn't strictly *necessary*. What *is*
>>> necessary, though, that is an 'if' (some conditional branch), and
>>> either 'goto' or recursive functions.
>> 
>> Conditional branches, including 'if', '?:', etc., are not strictly
>> necessary either.
>
> No? - Can you give an example of your statement?

I don't want to speak for Tim, but as far as I am concerned, it all
boils down to what you take to be a model of (effective) computation.
In some purely theoretical sense, models like the pure lambda calculus
and combinator calculus are "complete" and they have no specific
conditional "branches".

Going into detail (such as examples of making a "choice" in pure lambda
calculus) are way off topic here.

This is exactly what comp.theory should be used for, so I will cross
post there and set the followup-to header.  comp.theory has been trashed
by cranks but maybe a topical post will help it a but.

-- 
Ben.