Or - if it does work everywhere - why it hasn't been adopted?
It seems to me that including an ownership role in the data type, and having an explicit ownership transfer instruction, is a massive simplification.
Or - if it does work everywhere - why it hasn't been adopted?
It seems to me that including an ownership role in the data type, and having an explicit ownership transfer instruction, is a massive simplification.