The OpenNET Project / Index page

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



"В Rust-репозитории crates.io выявлен вредоносный пакет rustdecimal"
Версия для распечатки Пред. тема | След. тема
Форум Разговоры, обсуждение новостей
Исходное сообщение [ Отслеживать ]
Заметили полезную информацию ? Пожалуйста добавьте в FAQ на WIKI.
. "В Rust-репозитории crates.io выявлен вредоносный пакет rustd..." +/
Сообщение от Sw00p aka Jerom (?), 11-Май-22, 21:53 
> так что ни о какой логике в твоем примере речь не идет

хочу отметить, что теория типов, это раздел формальной логики, и язык программирования это формальный язык, а теперь вспомним для чего выдвигалась теория типов? Выше привел пример двух функция сложить, если не ясен мой посыл в коментах, могу пояснить на пальцах.

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

Оглавление
В Rust-репозитории crates.io выявлен вредоносный пакет rustdecimal, opennews, 11-Май-22, 09:21  [смотреть все]
Форумы | Темы | Пред. тема | След. тема



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

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