История изменений
Исправление www_linux_org_ru, (текущая версия) :
И не понял возникшего баттхерта. Поясни.
указание множества без указания допустимых операций и инвариантов практически не мешает программе вести себя нежелательном образом (тут вспоминаем определение типа из tapl), поэтому множество без указания допустимых операций и инвариантов вообще нельзя называть типом данных
это на 2-м курсе обычно и объясняют... или даже на 1-м, уже забыл
Исходная версия www_linux_org_ru, :
И не понял возникшего баттхерта. Поясни.
указание множества без указания допустимых операций и инвариантов практически не мешает программе вести себя невежелательном образом (тут вспоминаем определение типа из tapl), поэтому множество без указания допустимых операций и инвариантов вообще нельзя называть типом данных