Hi,
A friend of mine just showed me this language: Cello.
Usually I hate aliens NIH languages, BUT
This one is implemented entirely in C, using preprocessor magic and a
small runtime.
It provides a lot of functions to make C much safer for people that are
worried about C safety.
In no way I am suggesting to use it anywhere in NuttX, because it's just
a source lib that can be used in any application without OS support.
I just share it because it seems cool.
Here is the website: https://libcello.org/
More interesting is this blog post that explains the simple "rationale"
that makes it work: https://libcello.org/learn/a-fat-pointer-library
I plan to actually test this. I LOVE that it is C compatible and
generates plain C code that can be digested by any reasonable C compiler.
Sebastien