Какой сюрприз. Если лайфтайм объекта не контролируется пользовательским кодом, то компилятор не может статически проверить допустимость ссылок на него.

а еще &mut - ом можно гарантировать неизменяемость файла на диске )

Надо с передачей владения требовать от вызываемого кода доказательства, что он его вернёт и вернёт не позже такого-то события. То есть тут снова намёк на зависимые типчики.
Раст действительно бедноват для таких сценариев.

кто здесь пробовал пони?

Разработчики pony-lang ушли в закат пилить Verona, так что ожидайте триумфального возвращения ещё одного no-gc языка с автоматическим управлением памятью
https://github.com/microsoft/verona

туда бы побольше фич. (и поменьше)

ортогональности бобольше

❤

а поч на плюсах

Наверное им задавали такой вропрос овер 9000 раз, так что ребята вынуждены были написать ответ:
https://github.com/microsoft/verona/blob/master/docs/faq.md#why-have-you-implemented-project-verona-in-c-rather-than-a-safe-language

Why is the Verona runtime implemented in C++?

The runtime is inherently using a lot of unsafe code: it is producing the abstraction from the raw bits and bytes into the abstraction that the language uses. It is also inherently racy providing numerous lock-free datastructures for messaging and scheduling work. The runtime is also providing memory management concepts:

   the allocator, snmalloc, we designed for the runtime
   the management of regions of memory
   reference counting of various runtime concepts
   ...

Hence, the implementation requires very low-level access to the machine, that cannot be found in any safe language that we know of. When we started the project, C++ has the best tooling for handling unsafe code. Rust would be an interesting choice to understand what abstraction we could surface to Rust. As the concepts we are surfacing are different to Rust's type system it is unclear how beneficial this would be.

Ultimately, we want to verify the runtime against a formal specification, but this is a massive undertaking and is on the boundary of current verification research.

Ресёрч язык, идёт проверка гипотезы и построение обобщения системы типов из Раста. Может получится, а может и возникнет непреодолимая проблема - никто не знает.
Мутить в этих условиях бутстрап - это сильно усложнять себе и так непростую жизнь.

Сеньер-растер в течение 25 лет всякий раз, садясь за компьютер, вытаскивает из халата записку, читает её и начинает кодить. Однажды джун решил подсмотреть, что же там написано. И прочитал: «[1; 4] - четыре единицы»

Какой-то тупой персонаж, он точно сеньёр?

Это переделка древнего анека про профессора физики

Профессор в области электротехники в течение 25 лет перед каждым экспериментом вытаскивает из халата записку, читает её и начинает опыт. Однажды «лаборант» решил подсмотреть и прочитал: «Длинная черточка  – плюс, короткая – минус»

оригинал смешнее

четыре еденицы чет ваще не про раст

👍 да, классика лучше