The OpenNET Project / Index page

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



"В ядро Linux 6.1 приняты изменения, обеспечивающие поддержку языка Rust"
Версия для распечатки Пред. тема | След. тема
Форум Разговоры, обсуждение новостей
Исходное сообщение [ Отслеживать ]
Подсказка: Для сортировки сообщений в нити по дате нажмите "Сортировка по времени, UBB".
. "В ядро Linux 6.1 приняты изменения, обеспечивающие поддержку..." –1 +/
Сообщение от Аноним (258), 05-Окт-22, 15:32 
Он не выучил что такое:

1. Безопасный язык программирования
2. Надежный компилятор и ПО.
3. Математическая верификация корректности работы программы.

Вот когда выучит теорию и поймет, что в Rust этого нет и небудет, тогда к SPARK подтянутся.

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

Оглавление
В ядро Linux 6.1 приняты изменения, обеспечивающие поддержку языка Rust, opennews, 04-Окт-22, 08:24  [смотреть все]
Форумы | Темы | Пред. тема | След. тема



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

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