The OpenNET Project / Index page

[ новости /+++ | форум | теги | ]



Вариант для распечатки  
Пред. тема | След. тема 
Форум Разговоры, обсуждение новостей
Режим отображения отдельной подветви беседы [ Отслеживать ]

Оглавление

Выпуск языка программирования Rust 1.40, opennews (??), 23-Дек-19, (0) [смотреть все]

Сообщения [Сортировка по времени | RSS]


155. "Выпуск языка программирования Rust 1.40"  +/
Сообщение от Аноним (21), 23-Дек-19, 15:27 
В расте Borrow Checker - это *только* этап компиляции.
Ответить | Правка | К родителю #128 | Наверх | Cообщить модератору

165. "Выпуск языка программирования Rust 1.40"  +/
Сообщение от Тита_М (?), 23-Дек-19, 15:32 
Ну так старая версия что-то пропускала. Где гарантии что новая версия не будет пропускать. Если это фундаментальная штука, а не заплатка, то определённый класс проблем ей решить под силу.
Ответить | Правка | Наверх | Cообщить модератору

193. "Выпуск языка программирования Rust 1.40"  +/
Сообщение от Аноним (21), 23-Дек-19, 16:15 
Наоборот, была ограниченной и не давала сделать столь любимый народом двусвязный список, приходилось обращаться к unsafe чтобы обойти ограничение формальной модели чекера.
Чекер NLL это дело сильно улучшил.
Ответить | Правка | Наверх | Cообщить модератору

217. "Выпуск языка программирования Rust 1.40"  +1 +/
Сообщение от endpoint_base (?), 23-Дек-19, 17:29 
А где гарантии, что произвольно выбранная программа когда-нибудь остановится вместо зацикливания?
Ответить | Правка | К родителю #165 | Наверх | Cообщить модератору

232. "Выпуск языка программирования Rust 1.40"  +/
Сообщение от red75prim (?), 23-Дек-19, 17:58 
Доказательствами корректности занимается проект "RustBelt" http://plv.mpi-sws.org/rustbelt/

То, что система типов Rust'а предотвращает data races, уже было доказано. Доказательство корректности новой реализации borrow checker'а в процессе - это дело небыстрое.

Ответить | Правка | К родителю #165 | Наверх | Cообщить модератору

Архив | Удалить

Рекомендовать для помещения в FAQ | Индекс форумов | Темы | Пред. тема | След. тема




Партнёры:
PostgresPro
Inferno Solutions
Hosting by Hoster.ru
Хостинг:

Закладки на сайте
Проследить за страницей
Created 1996-2024 by Maxim Chirkov
Добавить, Поддержать, Вебмастеру