I don't see how this language enables writing safe contracts. You can still go wrong using the primitives (paraphrasing an example - "don't copy this contract I

I don't see how this language enables writing safe contracts. You can still go wrong using the primitives (paraphrasing an example - "don't copy this contract I gave you to illustrate how to use my safer language because it can be attacked". The lower level primitives they discuss in the article would still make it hard to reason about what is happening. I think they need higher level operators that are trustworthy. You need a language that compiles down maybe into these primitives, but if you have operators that people reason about and trust you'll be more likely to be successful, like java synchronized.