EG
Лучше, но это нагрузка на компилятор. Язык С имеет фантастически простой компилятор.
Проблема в том, что это нельзя проверить даже сторонним линтером, потому что этой информации просто нет в типах.
Size: a a a
2020 August 22
M
И перестаешь нести бред
CD
Проблема в том, что это нельзя проверить даже сторонним линтером, потому что этой информации просто нет в типах.
Ну сделай линтер с достаточными аннотациями и проверяй
ع
Он сомнетелен. Нет, он сомнителен. А бы ему не доверял! (с) к\ф "Покровские ворота." ))))
D
mrsmith опять жжет )
EG
Ну сделай линтер с достаточными аннотациями и проверяй
Это создаёт проблему с аннотацией существующего кода
EG
Принципиально нерешаемую
CD
Это создаёт проблему с аннотацией существующего кода
Нет, это просто удорожает время разработки минимум в х3, даже если такой линтер есть
M
Проблема в том, что это нельзя проверить даже сторонним линтером, потому что этой информации просто нет в типах.
Пиши, MiSRO C, ещё пиши, static memory program
M
Готово
EG
Пиши, MiSRO C, ещё пиши, static memory program
Всё ещё не спасает от дерьмовых сторонних библиотек.
M
Есть ещё языки где тоже это чекается но пруфать надо
CD
Всё ещё не спасает от дерьмовых сторонних библиотек.
Так тебя ничего не спасет от дерьмовой сторонней библиотеки
CD
Она просто свалится в панику
CD
Защита кода от программиста - задача уровня Idris
M
Всё ещё не спасает от дерьмовых сторонних библиотек.
Ало, хрень которая спасает от дерьмо из интернета, имеет отверстие в которое ты еду складывает и два окуляра для обзора
D
я опять все пропустил, о чем срач то?
M
Языки и инструменты это не заменяют
CD
Языки и инструменты это не заменяют
Заменяют с очень большим множителем стоимости
ΑZ
Лучше, но это нагрузка на компилятор. Язык С имеет фантастически простой компилятор.
Не проще лиспа))