Well, yes, but those don&#x27;t seem objectively superior. They all have problems to do with it being too easy to accidentally introduce space leaks or time leaks...<p>(At least as far as I recall. If there&#x27;s some documentation&#x2F;papers that suggest otherwise, please link!)<p>EDIT: I should say: FRPNow! seems to have cracked a bit of this puzzle and Neel Krishnaswami had a recent-ish (2014?) paper on avoiding both space and time leaks with static checking, but I don&#x27;t think we have anything approaching the mainstream, unfortunately.