IX · инженер-проектировщик ← Курс
Глава IX · завершение дуги ФП и корректности

От программиста — к инженеру-проектировщику.

Это не понижение, а подъём. Строки кода теперь пишет агент; ценность человека смещается вверх — к проектированию систем, точной спецификации, построению рычагов и осознанной проверке. Глава собирает воедино всё, чему учил курс: алгебру, корректность, агентов, язык — и складывает в одну роль.

цель→ревьюновая петля
проектируетне печатает
∑ сериивсё вместе
ARCHITECTUS строки → система проект · надзор ↑ строки система
№ 00Сдвиг эпохи

Ценность поднимается вверх по стеку

Десятилетиями профессия означала «писать код». Когда код уверенно пишет агент, это умение перестаёт быть дефицитным — и ценность человека смещается туда, где машина пока слаба: к замыслу, архитектуре, спецификации и суждению. Anthropic описывает перемену прямо: разработка идёт не «написал — запустил — починил — повтор», а «поставил цель — проверил изменения — одобрил реализацию».

Это и есть инженер-проектировщик. Не тот, кто меньше знает, а тот, кто знает больше: чтобы поставить верную цель и проверить результат, нужно глубже понимать и предметную область, и математику, и устройство моделей. Все прошлые главы вели именно сюда.

Поставил цель — проверил изменения — одобрил реализацию. — сдвиг ремесла, по Anthropic
◆
Грани роли

Чем занят инженер-проектировщик

Роль распадается на несколько занятий, и ни одно из них — не набор кода руками. Это проектирование, спецификация, построение инструментов, оркестрация и проверка.

▤Проектирует

Определяет архитектуру и декомпозицию: какие части, как связаны, какие границы. Сложное собирается из простого — как композиция из главы о ФП.

⊨Специфицирует

Выражает намерение точно — типом, контрактом, инвариантом. Не пожелание словами, а проверяемая спецификация (главы VII–VIII).

⚒Строит рычаги

Превращает отработанные рутины в инструменты и MCP-серверы — фреймворк, задающий агенту порядок.

Углубление: навыки в инструменты · контекст-инженериячитать →
⇲Оркестрирует

Распределяет работу между агентами и суб-агентами, держит общую картину и сводки, проектирует, как они общаются.

✓Проверяет

Читает дифф, гоняет тесты, одобряет осознанно. Здесь — вкус: что принять, что отклонить, где остановиться.

Углубление: Claude Code — искусство инженера-проектировщикачитать →
∎Доказывает

Опирается на корректность: типы, тотальность, инварианты. Уверенность — не «вроде работает», а доказанное свойство.

⚙
Рычаги и оркестрация

Строить систему рычагов, а не выполнять задачи

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

LEVATORпроектировщик → агенты инструменты = порядоксводки проектиров-щик строит инструменты агент агент сводки → проектировщику
Проектировщик строит инструменты-рычаги; агенты ими работают; наверх возвращаются сводки. Управляешь системой, а не задачами.

Здесь сходятся два углубления серии: каждую рутину — в инструмент, а делегирование — в оркестрацию суб-агентов; при этом инструменты задают порядок, а контекст экономится осознанно. Это и есть инженерная практика, которая определяет рамку для агентов.

↻
Петля и надзор

Новая петля: цель → проверка → одобрение

Ремесло меняет ритм. Вместо ручного цикла правок — петля проектировщика: ставишь цель, агент реализует, ты проверяешь дифф и тесты, одобряешь. Свобода агента — внутри рамки; ответственность — на тебе.

CYCLUSцель → ревью → одобрить надзорвкус цель агентреализует ревьюдифф·тесты ✓ не одобрено → уточнить цель
Петля проектировщика. Если ревью не прошло — уточняешь цель, а не латаешь вслепую.

Надзор — не формальность: агент автономен и имеет доступ к системе, поэтому изолированные среды, чтение диффа и осознанное одобрение обязательны. Бездумные команды без проверки — «vibe coding» — это не инженерия. Подробно ремесло и его риски разобраны в углублении про Claude Code.

№ 04Фундамент

Почему это не «оператор промптов»

Может показаться, что инженер-проектировщик просто «просит модель». Нет. Чтобы поставить верную цель, спроектировать рамку и проверить результат, нужен прочный фундамент — ровно тот, что строил курс:

• Алгебра (глава I) — язык структур, на котором мыслит и машина.
• Функциональное программирование (глава VI) — мир как преобразование, локальное рассуждение.
• Корректность (глава VII) — типы как теоремы, тотальность, доказательства.
• Математика как язык (глава VIII) — точная спецификация намерения.

Без этого фундамента «проверить результат» превращается в угадывание. С ним — в инженерную работу. Именно поэтому курс начинался с математики, а не с инструментов.

∎Опоры роли

Структуры и композиция · доказательная корректность · точный язык спецификации · агентские инструменты и контекст. Вместе — основание проектировщика.

Углубление: алгебраические типы данныхчитать → Углубление: трансформер и путь к агентскому программированиючитать →
∑
Синтез серии

Все нити — в одной роли

Соберём весь курс в одну картину. Каждая глава дала знание, умение или навык; в инженере-проектировщике они сходятся и начинают работать вместе.

SYNTHESISI → IX знания · умения · навыки→ Создатель алгебра · I логика · вероятность · II–III ML · трансформер · IV LLM · агенты · MCP · V ФП · типы · корректность · VI–VII математика-язык · VIII инженер- проектировщик Создатель
Алгебра, корректность, агенты, язык — всё сходится в одной роли, а та преодолевает границу: Создатель нового уровня.

Вот зачем нужна была вся дорога. Алгебра дала язык; вероятность и логика — строгость; машинное обучение и трансформер — материю; LLM, агенты и MCP — действие в рамке; функциональное программирование и корректность — гарантию; математика как язык — точное общение. Инженер-проектировщик владеет всем этим сразу — и потому способен браться за системы растущей сложности, не держа сложность в голове.

№ 06Итог

Не меньше, а выше

Переход от программиста к инженеру-проектировщику — это подъём по стеку: от написания строк к замыслу, спецификации, построению рычагов, оркестрации и проверке. Он держится на фундаменте всей серии — алгебре, корректности, устройстве моделей и языке математики — и потому это инженерия, а не угадывание. Человек становится Создателем, который проектирует системы и преодолевает собственную границу, как спутник преодолевает орбиту.

Дальше — третья дуга. Если так проектировать умеет каждый, что это меняет в мире? Об инструментах, доступных всем, и моделях будущего — следующая глава.

Индивидуальным творчеством можно заниматься чисто романтически — без уверенности, что что-то выйдет. — А. Н. Колмогоров
→
Дальше по курсу

К инструментам для всех

Дуга ФП и корректности завершена. Третья дуга — инструменты ИИ, мифы и будущее.

№ 07Материалы

Опоры