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.
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
I haven’t seen anything like that, but I agree that it would be very desirable to have. I think it does stack probing which should help prevent stack overflow issues (in conjunction with an OS that won’t let the stack grow into other allocated memory). But that’s not the same.
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
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.