Re: transpiling to low level C

Tim Rentsch <tr.17687@z991.linuxsc.com> writes:

Michael S <already5chosen@yahoo.com> writes:
>

On Mon, 23 Dec 2024 09:46:46 +0100
David Brown <david.brown@hesbynett.no> wrote:
>

And Tim did not rule out using the standard library,

>
Are you sure?

>
I explicitly called out setjmp and longjmp as being excluded.
Based on that, it's reasonable to infer the rest of the
standard library is allowed.
>
Furthermore I don't think it matters.

Hmm...  I'm puzzled.  Where does the unbounded store come from without
I/O?  Do you take "C is Turing complete" to mean that there is a
theoretically possible implementation of C sufficient for any given
problem instance (rather than for any given problem)?  That's not how
different models are usually compared, and I think it would run into
some rather odd theoretical problems.

There is a somewhat informal version of "C (with the restrictions you
have stated) is Turing complete" which just means "you can do anything
you want provided you don't hit an implementation limit".

--
Ben.