Re: transpiling to low level C

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.