Path: ...!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: bart <bc@freeuk.com>
Newsgroups: comp.lang.c
Subject: Re: transpiling to low level C
Date: Mon, 16 Dec 2024 18:37:08 +0000
Organization: A noiseless patient Spider
Lines: 22
Message-ID: <vjps0l$18hon$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>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Mon, 16 Dec 2024 19:37:09 +0100 (CET)
Injection-Info: dont-email.me; posting-host="34a323787bcd488930f4acb1ff271e8f";
	logging-data="1328919"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX19FASuJSfe42A6Gi8oUZOjg"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:IRzi5vyGwt7y1kQlFvfuahByR+c=
Content-Language: en-GB
In-Reply-To: <vjpn29$17jub$1@dont-email.me>
Bytes: 2035

On 16/12/2024 17:12, Janis Papanagnou wrote:
> 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.

You would do away with just about the simplest feature of any language, 
and insist users emulate intra-function branching via function calls?

I'd like to see your design of IL that doesn't have branching! I guess 
it would also need closures and/or continuations. I suspect you either 
don't quite understand what an IL is for, or forgot that's what this is 
about.

An IL is typically lower level than the source language, while higher 
level than a native code target which makes it easier to generate code 
for. A functional IL would make it harder than assembly.