История изменений

Ты, наверное, просто не в теме специфики академических языков. Это экспериментальный вещи, основная задача которых — обкатка идей. Ну и защита диссертаций по итогам.

А после этого приходят представители промышленности и пользуются (см. Cyclone и кучу рисерча по регионам).

кстати, раньше разработчики Rust считали, что у него линейная система типов

В этом деле хрен разберешься без уверенного владения матлогикой, кто там на ком стоял.

Спасибо за лекцию. Я лично из всех статей по линейным типам вынес мнемонику «value can be used at most once» - думаю, для практических целей хватит.

А разговоры про гибкость, которую приносит GC — это просто попытка представить проблему как не проблему.

Если здесь и есть проблема, то это «на линейных типах нельзя выразить всё, что нужно». Но это больше похоже на тупик в конструировании ЯП, чем на death toll для Rust.

Я начинаю подозревать, что мы с тобою тут говорим о каких-то совсем разных вещах.

Я веду к тому, что _аннотации_ можно делать только в языке, у которого в семантике прописана сборка мусора. В противном случае - только weak_ptr и K, но в Rust это можно делать уже сейчас.

Ты, наверное, просто не в теме специфики академических языков. Это экспериментальный вещи, основная задача которых — обкатка идей. Ну и защита диссертаций по итогам.

А после этого приходят представители промышленности и пользуются (см. Cyclone и кучу рисерча по регионам).

кстати, раньше разработчики Rust считали, что у него линейная система типов

В этом деле хрен разберешься без уверенного владения матлогикой, кто там на ком стоял.

Спасибо за лекцию. Я лично из всех статей по линейным типам вынес мнемонику «value can be used at most once» - думаю, для практических целей хватит.

А разговоры про гибкость, которую приносит GC — это просто попытка представить проблему как не проблему.

Если здесь и есть проблема, то это «на линейных типах нельзя сделать всё, что нужно». Но это больше похоже на тупик в конструировании ЯП, чем на death toll для Rust.

Я начинаю подозревать, что мы с тобою тут говорим о каких-то совсем разных вещах.

Я веду к тому, что _аннотации_ можно делать только в языке, у которого в семантике прописана сборка мусора. В противном случае - только weak_ptr и K, но в Rust это можно делать уже сейчас.