Aß
почитай sway
Size: a a a
2021 June 02
D
там гошка?
DL
проблема в том, что С разрабатывался до шелла, так что как минимум первоначально речи о "кирпичиках" не было
SM
я бы не сказал, что он прям во всём лучше, он всё же насаждает свои искусственные ограничения, связанные с лайфтаймами и борроучекером
DL
ограничения это хорошо
A
ага, но эти ограничения как раз и есть та самая страховка, которой в огромном количестве случаев действительно хватает
A
если ты реально понимаешь, что делаешь и хочешь за это выбраться - ансейф. Но я еще не настолько много раста писал, чтоб мне ансейф... ну не, ок, понадобился для позиксового.
Aß
это как раз не страшно, гораздо хуже карго
SM
> есть раст, который умеет в компайлтайме проверить значительное количество проблем, которые разработчик проморгал
Справедливости ради, это решается статическим анализом, в расте он просто встроен в компилятор
Справедливости ради, это решается статическим анализом, в расте он просто встроен в компилятор
D
Вот кстати можно привети %аргумент где помощь со стороны инструмента/законодательства/аллаха уменьшало внимательность разработчика и он совершал куда более ужасные ошибки если бы за всем следил самостоятельно%
SM
Не любые ограничения это хорошо
A
да, статическим анализом много решается. Нет, в расте там оно работает не на основе статического анализа.
Aß
это не аргумент, кстати
DL
любые, если их можно обойти при необходимости
SM
Видимо под статическим анализом мы понимаем разные вещи
A
возможно
SM
Ограничения, которые можно обойти, это не ограничения =)
A
я под статическим анализом понимаю в частности проход по путям выполнения кода, в том числе с оценкой значений разных переменных.
LL
Назначение си писать программы на си, простота и надёжность зависит от пишущего и распространяется не только на си
Aß
вот есть MISRA, но это не помешало тойоте его нарушить во многих местах, убить и покалечить нескольких человек и уйти в итоге от ответственности