Исходное сообщение
"70% проблем с безопасностью в Chromium вызваны ошибками при ..." Отправлено Ordu, 26-Май-20 19:51
> Cell именно что zero-cost. >> борроу-чекер самым тупым образом не справляется > Не тупым. Информацию о том, что структура позаимствована частично нужно где-то хранить. > Хранить в рантайме дорого, значит нужно хранить в типе возвращаемого значения. > Что именно заимствуется зависит от входных параметром, значит выходный тип должен > зависеть от входного значения. А это уже dependent types и намного > сложнее. Именно что тупым. Мне не требуется более сложной системы типов в расте, для того, чтобы рассуждать лучше борроу-чекера о данной ситуации. И борроу-чекеру dependent types особо не нужны -- он же может в пределах одной функции придти к выводу, что создаётся две независимые ссылки внутрь структуры? И может он это сделать без dependent types. Его тупость проявляется в том, что его способность рассуждать не может пересекать границ функций.