Safe Memory Allocation #114
Description
At the moment, any code (be it in a function, method or other) can fail with an out-of-memory exception. Its not clear how best to resolve this:
- We could update the return type of anything which could cause a memory allocation. But, even a simple assignment can cause a memory allocation (i.e. its if a copy)!
- Another option is to have an exception mechanism for certain runtime faults like this. Then, we can catch such exceptions and deal with them for error recovery.
See this RFC in Rust, as one possible example.