AZ
Т-34 85
Идеального кода на Rust тоже почти не существует...
Проекты на расте без уб есть
Size: a a a
2020 June 06
Т8
Проекты на расте без уб есть
На плюсах тоже есть
AZ
Т-34 85
На плюсах тоже есть
Это недоказуемо
AZ
А значит скорее всего не так
Т8
Переслано от Николай Коршунов
Я чет домашнее доьро с плюсов на раст переписывать начал. Меня немного доконали за последние полтора месяца поиски не вовремя освобожденной памяти в многопоточных приложениях по работе
Это скорее частности. Не так много таких проектов
DF
Раст менее выразителен только если шаблоны считать типизацией, а если как говорит Клапауций шаблоны это макросистема то у раста есть процедурные макросы которые не менее выразительны
AZ
Т-34 85
Это скорее частности. Не так много таких проектов
Я про часть про борровчекер
Т8
Это недоказуемо
Это доказуемо. Просто вряд ли кто-то пытался это доказать
DF
По сути вся выразительность плюсов это про "индукцию" на шаблнах
DF
Так то это очень топорный язык
AZ
Т-34 85
Это доказуемо. Просто вряд ли кто-то пытался это доказать
Ок, как для произвольного проекта это доказать?
Т8
Dollar Føølish
Раст менее выразителен только если шаблоны считать типизацией, а если как говорит Клапауций шаблоны это макросистема то у раста есть процедурные макросы которые не менее выразительны
Отсутствие неявных кастов (без потери данных) тоже уменьшает выразительность. Отсутствие наследования, как автор ответил, тоже жмёт
Т8
Ок, как для произвольного проекта это доказать?
Шурудишь стандарт, проходишься по коду проекта...
DF
В расте есть неявные касты через трейт фром
AZ
Т-34 85
Шурудишь стандарт, проходишься по коду проекта...
Ммм, это нельзя автоматизировать или сделать за разумное время
DF
К тому же неявные касты без потери данных это немного оксюморон, так как они в плюсах ансаунд
DF
Ну и надо ли говорить что джунов на крестах сызмальства обучают делать конструкторы explicit
DF
В общем предлагаю набросы танка игнорировать
Т8
Ммм, это нельзя автоматизировать или сделать за разумное время
Ну, я просто не в курсе, насколько хорошо проходятся статические анализаторы. Может, это тоже можно считать верификацией
DF
Верификацией можно считать то что ей называют