Ante ослабляет проверку заимствований, разрешая безопасную циклическую мутабельность
Borrow Checking Zero-Cost Cyclic Mutability
Язык Ante, основанный на семантике владения, пересматривает правила заимствования: вместо того чтобы запрещать одновременное алиасирование и мутацию, он вводит понятие «мест» (places) и помечает нестабильные места. Это позволяет компилятору отвергать только те программы, где мутация действительно может сделать ссылку висячей. В результате становятся легальными циклические структуры, сложные потоки данных и паттерн наблюдателя — без потери статической безопасности и потокобезопасности.
Разница в том, что я называю стабильностью формы. Если форма типа стабильна, то невозможно так его мутировать, чтобы ранее валидная ссылка внутрь него стала невалидной.