Исправление tailgunner, (текущая версия) :
и в Rust нет линейных тмппов, кстати
Не позорься.
Ой, позор-то какой, как теперь жыть. Позор - это думать, что в Rust - линейные типы и приводить в доказательство этого ссылку на более широкий класс систем типов.
Ссылки на предыдущие реализации borrow checker есть?
https://en.wikipedia.org/wiki/Mercury_(programming_language)
Я просили ссылку на реализацию borrow checker, а не название языка.
что такое linearity checker?
Часть тайп чекера.
В каком языке? Если в Rust, то где описана эта часть?
Исходная версия tailgunner, :
и в Rust нет линейных тмппов, кстати
Не позорься.
Ой, позор-то какой, как теперь жыть. Позор - это думать, что в Rust - линейные типы и приводить в доказательство этого ссылку на более широкий класс систем типов.
Ссылки на предыдущие реализации borrow checker есть?
https://en.wikipedia.org/wiki/Mercury_(programming_language)
Я просили ссылку на реализацию borrow checker, а не название языка.