Исходное сообщение
"Поддержка Rust для ядра Linux столкнулась с критикой Торваль..." Отправлено Аноним, 15-Апр-21 15:25
>> Осталось придумать для него low-level рантайм. > И получится другой язык без гарантий, которые дает [std]-rust. И каких именно "волшебных" гарантий внезапно не станет? Гарантии дает компилятор, за счет ограничений в синтаксисе и семнтике в нем не нужно писать почти-ИИ-угадайку с БД самых частых ошибок в качестве и прочими наворотами в качестве анализатора > И кому нужен такой язык, кроме фанатиков? И правда, кому нужен язык, сочетающий наработки по теории типов, компиляторов и автоматизированных доказательств корректности последних 30 лет, но без излишней академичности хаскелей и агд, если можно продолжать обмазватся костылями?

Ваше сообщение
Имя*:
EMail:	Для отправки ответов на email укажите знак ! перед адресом, например, !user@host.ru (!! - не показывать email). Более тонкая настройка отправки ответов производится в профиле зарегистрированного участника форума.
Заголовок*:
Сообщение*:	>>> Осталось придумать для него low-level рантайм. >> И получится другой язык без гарантий, которые дает [std]-rust. > И каких именно "волшебных" гарантий внезапно не станет? Гарантии дает компилятор, за > счет ограничений в синтаксисе и семнтике в нем не нужно писать > почти-ИИ-угадайку с БД самых частых ошибок в качестве и прочими наворотами > в качестве анализатора >> И кому нужен такой язык, кроме фанатиков? > И правда, кому нужен язык, сочетающий наработки по теории типов, компиляторов и > автоматизированных доказательств корректности последних 30 лет, но без излишней академичности > хаскелей и агд, если можно продолжать обмазватся костылями?
	Введите код, изображенный на картинке: