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