On 30/05/2024 10:11, Didier Kryn wrote:
> But in any case the language does not solve the problem of stack protection

Do you mean Rust? Otherwise please elaborate as I am quite sure that Ada solves
the problem of stack protection?

> Don't forget, also,  that all languages rely upon the C runtime
> library, which is an essential layer between applications and the kernel.

Certainly the practical situation today for Linux but it isn't a technical OS
requirement. I have also heard it said that libc doesn't actually need to be
written in C.