История изменений
Исправление
hateyoufeel,
(текущая версия)
:
В Eiffel нет статических контрактов, только через внешние пруверы, но это не в счёт. Опять же, я не вижу как ты в этом утверждении сводишь проблему останова к проблеме вычислимости контрактов (скорее уж наоборот).
Исходная версия
hateyoufeel,
:
В Eiffel нет статических контрактов, только через внешние пруверы, но это не в счёт. Опять же, я не вижу как ты в этом утверждении сводишь проблему останова к проблеме вычислимости контрактов.