We really need modern-but-simple memory-safe languages that don't admit (much less require) non-static allocation.
-
-
I'm also not clear on whether it has any good model to enforce static analyzability of stack usage.
-
For static stack usage you would be getting into dependent types, idris is one but it's IMO too functional and brings the complexity and implicit knowledge most functional languages have.
End of conversation
New conversation -
-
-
You may be right. I’ve been trying to learn it. My experience has been that avoiding allocation is much more complicated than not.
-
C is very good about this, modulo support for recursion and no good way to detect/prevent unbounded levels of it. It's the killer feature that everyone who wants to get rid of C fails to understand.
-
Of course maybe the modern solution is just writing a program whose expected memory usage is 100k and throwing 32GB of DRAM on the board just in case...
- 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.