Материалы

Статья

Монады без страха: что это на самом деле и зачем

Монада — не философия, а ответ на конкретную боль: как соединять функции, которые возвращают не значение, а значение в контейнере. Разбираем от лестницы if-ов до законов, …

#функциональное программирование#монады#композиция

Статья

Модульные тесты: изоляция, тестовые дублёры, что такое хороший юнит-тест

Что считать юнитом, почему изоляция бывает двух несовместимых видов, чем stub отличается от mock и когда дублёр вредит, как писать тесты, переживающие рефакторинг, и …

#тестирование#юнит-тесты#моки

Статья

Модульное и компонентное программирование: единица композиции крупнее функции

Парадигма, где единица сборки программы — не функция и не класс, а модуль со скрытым решением: критерий декомпозиции Парнаса, интерфейсы против тайпклассов против …

#парадигмы#модульность#интерфейсы

Статья

Модули, пакеты и распространение: импорты, структура проекта, публикация

Импорт как операция времени выполнения: sys.modules, finders и loaders, циклические зависимости, src layout, точки входа, ресурсы внутри пакета и публикация дистрибутива …

#python#модули#пакеты

Статья

Модули и файлы деклараций: ESM, CommonJS и типы чужого кода

Как Node и tsc резолвят импорты, что такое exports-мапа и dual package hazard, откуда берутся .d.ts и как типизировать библиотеку без типов.

#typescript#модули#esm

Статья

Модель как источник: профиль ошибок и способы проверки

Генеративная модель — не замена поиску и не оракул, а источник с собственным профилем ошибок: уверенный тон при выдуманных деталях, смещение к типичному, соглашательство. …

#поиск информации#ии#источники

Статья

Модель исполнения: контекст, инструменты, цикл наблюдение-действие

Из чего на самом деле состоит работающий агент: модель без памяти, харнесс с состоянием и среда как единственный источник истины; почему стоимость хода растёт …

#ai-агенты#агенты#контекст

Статья

Модель данных Python: объекты, ссылки, изменяемость, dunder-методы

Что такое объект в CPython, чем имя отличается от переменной, как работают изменяемость, копирование, подсчёт ссылок и сборка мусора, и почему весь синтаксис языка — это …

#python#модель данных#cpython

Статья

Моделирование угроз: STRIDE, поверхность атаки, разбор на примере

Как систематически находить дыры в собственном дизайне до того, как их найдут другие: DFD и границы доверия, STRIDE, оценка риска, деревья атак и превращение каждой …

#безопасность#моделирование угроз#stride

Статья

Моделирование типами: недопустимые состояния невыразимы

Как переложить часть инвариантов домена с ревью и тестов на систему типов: parse don’t validate, типизированные идентификаторы, суммы типов для состояний агрегата и …

#ddd#моделирование#типы

Статья

Моделирование процессов: BPMN, нотации, типичные ошибки в схемах

Как аналитик рисует процесс так, чтобы схема вскрывала противоречия, а не украшала документ: семантика токена в BPMN, разбор реального процесса возврата товара, каталог …

#аналитика#bpmn#моделирование процессов

Статья

Моделирование и его пределы: что модель не покажет

Как довести системную схему до модели, которая делает проверяемые предсказания, какими тестами её ломать до того, как на неё сошлются в решении, и что модель не покажет …

#системное мышление#моделирование#симуляция