AI-powered
podcast player
Listen to all your favourite podcasts with AI-powered features
How to Make a Better Low Level Systems Programming Language?
The key issue there is that when you're relying on the stack frame for storing the data, the idea is that when the function called the allocated returns, the thing goes away. So you have to in some sense control where the data moves around at the type level to make that idiom safe. Those are probably the main things that I think of for the low level languages provide that we don't really have. It is kind of by necessity, those languages lack a garbage collector.