Индекс форумов |
Исходное сообщение |
---|
"Релиз языка программирования Rust 2021 (1.56) " Отправлено burjui, 25-Окт-21 19:44 |
За формализованными доказательствами обращайся к создателям языка и разработчикам компилятора. Боюсь, я недостаточно компетентен в computer science и теории типов для этого. Предупреждая возможное "ааа хрустоманы ничё не знают", 99.9% сишников и пользователей любого другого ЯП тоже не смогут формализовать даже половину правил своего любимого языка, при этом им это никак не мешает писать хороший код, если верить местным экспертам. Но ещё, как вариант, можете перестать спорить и быть contrarian for the sake of it (прошу прощение за неграмотность и незнание русской идиомы), а вместо этого начать изучать язык серьёзно, без предвзятости, и читать документацию, тогда будет понятно, что изменение с точки зрения семантики действительно тривиально. |
При общении не допускается: неуважительное отношение к собеседнику, хамство, унизительное обращение, ненормативная лексика, переход на личности, агрессивное поведение, обесценивание собеседника, провоцирование флейма голословными и заведомо ложными заявлениями. Не отвечайте на сообщения, явно нарушающие правила - удаляются не только сами нарушения, но и все ответы на них. Лог модерирования. |
Закладки на сайте Проследить за страницей |
Created 1996-2024 by Maxim Chirkov Добавить, Поддержать, Вебмастеру |