We really need modern-but-simple memory-safe languages that don't admit (much less require) non-static allocation.
-
Show this thread
-
By no non-static allocation I don't mean programmer-facing global state. Stack bounds subject to static analysis and automatic storage is fine as long as it can be made memory-safe.
2 replies 0 retweets 1 likeShow this thread -
Replying to @RichFelker
Wasn't java the big attempt at dynamic memory management with static typing and compilation?
1 reply 0 retweets 0 likes -
Replying to @landley
Probably, but what I'm asking for is the opposite, something suitable for safety-critical embedded like automotive but accessible to modern programmers.
1 reply 0 retweets 1 like -
Replying to @RichFelker
I'd probably start by looking at lua, but what do I know?
1 reply 0 retweets 1 like -
Replying to @landley @RichFelker
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/
2 replies 0 retweets 0 likes -
Replying to @elazarl @RichFelker
@landley Retweeted Programming Wisdom
@landley added,
1 reply 0 retweets 1 like
Languages that are intentionally less powerful come very close.
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.