4 ms·
I don't know. But I just released a language called U, and I was surprised to see this one. https://ulanguage.org https://ulanguage.org
by EGreg 15d ago
I don't know.
But I just released a language called U, and I was surprised to see this one.
https://ulanguage.org https://ulanguage.org
- xvilka 15d agoJust like V but without sharp edges?
- cestith 15d agoWhen compiling to C, does it use MISRA C or some other accepted standard for how to write secure and reliable C?
- EGreg 14d agoYes, C11 But in terms of security and reliability, U's linter and compiler enforces that.
- vrighter 13d agoC11 is the c language version. misra C is a set of guidelines for robust code when lives are on the line. One rule is "no malloc after initialization". so no, you probably aren't. Nor should you be. misra is intended for the programmerc not the compiler
- cestith 11d agoHe's emitting C as an intermediate form. I'm asking if the C that's emitted is meeting MISRA or any other recognized standard for secure and robust C code.