There's pragma pure and I sure would like it to be enforced and to allow lazy execution sometimes. As for pointer types being undetectable on call sites I agre

There's pragma pure and I sure would like it to be enforced and to allow lazy execution sometimes. As for pointer types being undetectable on call sites I agree that it is annoying, but they could be hidden behind a private or limited private type so I'm not sure there's an easy way out. But I still feel this change was a lazy way to make some border cases 'nicer to look at' or 'easier to code' but not easier to read... But don't take my word for it, I hate the dot notation with burning hatred... So...