On: Finding and fixing standard misconceptions about program behavior

[initplus]

The problem is that the existing language concepts that implement these ideas are ambiguous in many languages. Does int *x imply that x is an optional value, or that it’s intended to be shared with/from others, or both of the above?