I disagree. The big point of the determinism is that you can actually trivially control when deallocation occurs. In fact even if you don't want to manually rea

I disagree. The big point of the determinism is that you can actually trivially control when deallocation occurs. In fact even if you don't want to manually reason about there are tools which can graphically show you when objects are deallocated.