История изменений

Это называется «проектирование программ» и является твоей личной ответственностью.

Я не считаю себя идеальным программистом, который никогда не совершает ошибок. Тем более, что проект из одного человека это редкость.

Ты когда на Си последний раз писал?

Сегодня. Сейчас. Я для ядра Linux модули пишу, поэтому почти все рабочие задачи это Си.

Автоматической верификации?

Не совсем верный термин использовал. Имею ввиду, что должна быть возможность навертеть safe над unsafe с уверенностью.

Т.е. ADT, дженерики, трейты, memory safety - не преимущество?

Memory safety там нет, потому что unsafe. А остальное там, в больше случаев, не к месту совсем. Код ядра ведь видел? Простота наше все.

Это называется «проектирование программ» и является твоей личной ответственностью.

Я не считаю себя идеальным программистом, который никогда не совершает ошибок. Тем более, что проект из одно человека это редкость.

Ты когда на Си последний раз писал?

Сегодня. Сейчас. Я для ядра Linux модули пишу, поэтому почти все рабочие задачи это Си.

Автоматической верификации?

Не совсем верный термин использовал. Имею ввиду, что должна быть возможность навертеть safe над unsafe с уверенностью.

Т.е. ADT, дженерики, трейты, memory safety - не преимущество?

Memory safety там нет, потому что unsafe. А остальное там, в больше случаев, не к месту совсем. Код ядра ведь видел? Простота наше все.