We really need modern-but-simple memory-safe languages that don't admit (much less require) non-static allocation.
-
-
I'd probably start by looking at lua, but what do I know?
-
I see zero problem with dynamic allocation. All hyper critical, super strict standard allow dynamic allocation. Including SW in plane engine&pacemaker. The only thing is, preallocate before the main loop. So no need for a new lang. https://www.fstar-lang.org/ https://ziglang.org/
-
It's not that there aren't existing languages that let you write allocation-free[-after-init] code. C certainly does. It's that the ones that do are memory-unsafe and/or inaccessible to programmers who learned on modern languages.
-
Well, I gave two examples of such safe modern languages designed for the embedded space. F* and variants are used in practice, not sure about zig. F* has a variant that complies to readable C.
-
C combines the flexibility of assembly language with the power of assembly language.
-
Standard C don't even have fraction of the power of the assembly language. Maybe the flexibility of asm, the portability of asm, and the power of C#. Not even that, C# at least has SIMD, C is too high level for that. If you need lower level than std C – go down to C#
-
C is the minimum amount of abstraction so a port from x86 to arm isn't a complete rewrite. This "undefined" nonsense is C++, not C.
-
There are many missing parts not in standard portable C missing which are essential to any program, e.g. Pragma pack. Many other abstractions are not required. It's just a random number of abstractions. Nothing minimal or maximal.
End of conversation
New conversation -
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.