The OpenNET Project / Index page

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



"Поддержка Rust для ядра Linux столкнулась с критикой Торвальдса"
Версия для распечатки Пред. тема | След. тема
Форум Разговоры, обсуждение новостей
Исходное сообщение [ Отслеживать ]
Подсказка: Для сортировки сообщений в нити по дате нажмите "Сортировка по времени, UBB".
. "Поддержка Rust для ядра Linux столкнулась с критикой Торваль..." +/
Сообщение от Аноним (-), 15-Апр-21, 15:25 
>> Осталось придумать для него low-level рантайм.
> И получится другой язык без гарантий, которые дает [std]-rust.

И каких именно "волшебных" гарантий внезапно не станет? Гарантии дает компилятор, за счет ограничений в синтаксисе и семнтике в нем не нужно писать почти-ИИ-угадайку с БД самых частых ошибок в качестве и прочими наворотами в качестве анализатора
> И кому нужен такой язык, кроме фанатиков?

И правда, кому нужен язык, сочетающий наработки по теории типов, компиляторов и автоматизированных доказательств корректности последних 30 лет, но без излишней академичности хаскелей и агд, если можно продолжать обмазватся костылями?

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

Оглавление
Поддержка Rust для ядра Linux столкнулась с критикой Торвальдса, opennews, 15-Апр-21, 08:09  [смотреть все]
Форумы | Темы | Пред. тема | След. тема



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

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