согласен, даже примитивные мат. модели для соответственно примитивных задач бывают очень полезны, наглядны и отказоустойчивыми

Да, классическая ошибка на единицу. Поэтому контроль инвариантов лучше реализовывать программно, как я делал в предыдущем видео про инварианты, тогда на границах вылезет ошибка. UPD. кстати это еще раз подтверждает, что даже простые утверждения нужно доказывать на инвариантность, а не говорить "ну здесь очевидно, что нет", нужно было конечно не экономить тайминг видео, а сделать нормально, но может даже это к лучшему, теперь можно снять еще один видос и показать как легко ошибиться в простых предположениях.

@@S0ERDEVS _Если я правильно понял: то, что в данной концепции называют "инвариантами" -- это чё-то вроде аналога понятия "ограничения целостности" в теории моделей данных. Если считать, что тут модель данных не реляционная, а (наверное, скорее) объектная._ _А проверка "инвариантов" внутри функций -- это _*_чё-то вроде_*_ самодельного аналога триггеров ограничений целостности в обычных базах данных/СУБД (триггеры срабатывают при отклонении от заданных ограничений)._

@@S0ERDEVS может лучше решать задачи функциональным программированием. А не ООП. Вот я тоже имел это в виду.