I think that'd require a different Datatype than a Raw pointer.
Allocating heap memory is a side-effect that's not really predictable, if you take all the factors into account.
However i can see a world where this may be possible because of virtual memory, but i don't know how.
Dependent Types could help, although i am unsure if it helps with raw pointers.
No comments yet.