The OpenNET Project / Index page

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



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

Оглавление

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

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


117. "Выпуск языка программирования Rust 1.40"  +3 +/
Сообщение от Тита_М (?), 23-Дек-19, 14:46 
>В режиме Rust 2015 активирован вывод ошибки для проблем, выявленных при проверке заимствования переменных (borrow checker) c использованием техники NLL (Non-Lexical Lifetimes). Ранее предупреждения были заменены на ошибки при работе в режиме Rust 2018. После распространения изменения и на режим Rust 2015 разработчики получили возможность окончательно избавиться от старого borrow checker. Напомним, что система проверки на основе нового механизма учёта времени жизни заимствованных переменных дала возможность выявлять некоторые проблемы, которые оставались незамеченными старым кодом проверки. Так как вывод ошибки для подобных проверок мог повлиять на совместимость с ранее работающим кодом, вместо ошибок первое время выдавались предупреждения.

И какие ещё проблемы остались незамеченными, но уже для нового borrow cheker? Я думал это фундаментальная вещь решающая проблемы с доступом к памяти, а не заплатка.

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

128. "Выпуск языка программирования Rust 1.40"  –2 +/
Сообщение от Брат Анон (?), 23-Дек-19, 14:57 
Сложный язык с накрученным рантаймом (а будем честны -- все вот эти вот ваши барроу чекерс -- это и есть размазанный рантайм) -- нежизнесопособен.
Ядро языка должно быть простым, тупым, проверяемым. Лучшее, из всего, что видел -- Оберон от дедушки Вирта. Уже не молод (оба), но жару дают.
последняя версия Оберона от 2016 года.
Ответить | Правка | Наверх | Cообщить модератору

140. "Выпуск языка программирования Rust 1.40"  –6 +/
Сообщение от Урри (?), 23-Дек-19, 15:11 
Тоже мне лучший язык - который умер при рождении.

Позвольте угадаю - вы как паскаль в школе учили, так больше ничего осилить так и не смогли?

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

152. "Выпуск языка программирования Rust 1.40"  +/
Сообщение от Брат Анон (?), 23-Дек-19, 15:25 
Паскаль вообще ни в школе, ни в институте не учил. Басики всякие, питоны, ассемблеры.
Ответить | Правка | Наверх | Cообщить модератору

195. "Выпуск языка программирования Rust 1.40"  +/
Сообщение от Урри (?), 23-Дек-19, 16:18 
Тогда к чему ваше упоминание оберона, который даже просто выйти в мир не смог? На розеттакоде всякой фигни навалом, каких только языков не сыщешь; так для оберона всего пара десятков страничек с реализациями - у брейнфака и то больше.
Ответить | Правка | Наверх | Cообщить модератору

255. "Выпуск языка программирования Rust 1.40"  +/
Сообщение от Аноним (249), 23-Дек-19, 18:57 
Потому что он читал про его простое ядро. А книжки про Оберон были даже в советское время.
Ответить | Правка | Наверх | Cообщить модератору

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ообщить модератору

157. "Выпуск языка программирования Rust 1.40"  +/
Сообщение от Тита_М (?), 23-Дек-19, 15:27 
Печально конечно, что обычный программист проглотил идею, что для решения сложных задач нужны сложные инструменты.
Ответить | Правка | К родителю #128 | Наверх | Cообщить модератору

223. "Выпуск языка программирования Rust 1.40"  +1 +/
Сообщение от red75prim (?), 23-Дек-19, 17:47 
> Ядро языка должно быть простым, тупым, проверяемым.

Brainfuck. Ядро - машина Тьюринга, классика.

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

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

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




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

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