25 августа 2019 · КомментарийБез заголовкаgeniepro · Оригинал в ЖЖ ↗ · Ссылка на записьЗависимые типы -- это всякие вычисления и логика на типах, как это может помочь в деле моделирования мира? По-моему, вы слишком много ожидаете от них...