История изменений
Исправление a--, (текущая версия) :
Значит, надёжный код станет больше «обычного», что и требовалось доказать.
я не согласен с тем, что спецификации кода ты считаешь тоже кодом
спецификации кода:
1. могут быть внешними, то есть по сути ТЗ
2. могут быть очевидны программисту и не приходя в сознание выписываться на приличном языке для спецификаций либо выводиться какой-то inference engine; это сильно отличается от «продумайте систему владения указателей для узлов графа и...»
3. да и вообще: предикаты — это не код
правда, я уже сильно потерял нить разговора
Исправление a--, :
Значит, надёжный код станет больше «обычного», что и требовалось доказать.
я не согласен с тем, что спецификации кода ты считаешь тоже кодом
спецификации кода:
1. могут быть внешними, то есть по сути ТЗ
2. могут быть очевидны программисту и не приходя в сознание выписываться на приличном языке для спецификаций либо выводимы какой-то inference engine; это сильно отличается от «продумайте систему владения указателей для узлов графа и...»
3. да и вообще: предикаты — это не код
правда, я уже сильно потерял нить разговора
Исходная версия a--, :
Значит, надёжный код станет больше «обычного», что и требовалось доказать.
я не согласен с тем, что спецификации кода ты считаешь тоже кодом
спецификации кода:
1. могут быть внешними, то есть по сути ТЗ
2. могут быть очевидны программисту и не приходя в сознание выписываться на приличном языке для спецификаций либо выводимы какой-то inference engine
3. да и вообще: предикаты — это не код
правда, я уже сильно потерял нить разговора