Вершина курса — не технология, а люди. Информационные системы и образовательные программы будущего создаст новое поколение инженеров-проектировщиков со знанием алгебры и доказательной базы. Но вырастить его, как когда-то ранний СССР вырастил покорителей космоса, могут только классы — а уходящее поколение Школы Шарыгина обязано провести их в новый мир и передать опыт.
Курс прошёл путь: алгебра дала язык, логика и вероятность — строгость, машинное обучение и агенты — новую материю, функциональное программирование и корректность — способ строить, а смена роли — инженера-проектировщика вместо кодировщика. Остался последний вопрос: что делает всё это устойчивым во времени? Ответ — образование.
Технологии меняются, но воспроизводимо растить тех, кто видит структуру и доказывает, умеет только школа. Поэтому финал — о людях и о передаче.
В императивном стиле когнитивная нагрузка растёт вместе с системой: чтобы понять кусок кода, надо держать в уме изменяемое состояние всего вокруг. В функциональном — рассуждение локально: чистая функция зависит только от входа, инвариант типа гарантирует корректность, композиция собирает целое из проверенных частей. Сложность не исчезает — её берёт на себя математика.
Поэтому для систем растущей сложности ФП — не вкус, а необходимость. То, что такие системы могут работать годами без остановки и обновляться «на горячую», давно доказано на практике телеком-платформами на OTP (вспомним надёжность GSM). Доказательства, логика, инварианты — вот чем будущий инженер заменяет «держать всё в голове».
Кто будет так строить? Новое поколение, для которого алгебра и доказательная база — родной язык, а не экзамен. Оно не пишет строки в надежде, что «заработает», — оно проектирует: формулирует инварианты, специфицирует поведение, доказывает корректность, а реализацию доверяет инструментам и ИИ. Его продукт — не только информационные системы, но и образовательные программы, которые растят следующих.
Это и есть Создатель нового уровня: он работает на языке структуры и проверяемой логики и потому способен браться за то, что прежде казалось неуправляемо сложным, — преодолевая границу, как спутник преодолевает орбиту.
• Алгебра — язык структур и композиции.
• Доказательство и логика — гарантия вместо надежды.
• Инварианты и типы — способ не держать сложность в голове.
Тот рывок был возможен потому, что работала среда: физматшколы, олимпиады, кружки, учителя, передававшие не только знания, но и способ мыслить. Новое поколение инженеров вырастет так же — не само по себе, а в классах, где учат видеть структуру, доказывать и не бояться сложности.
И здесь у уходящего поколения — поколения Школы Шарыгина, мастеров «видеть форму», — есть прямой долг: не унести опыт с собой, а провести молодых в новый мир. Передать наглядность, вкус к доказательству, умение задавать вопрос — то, чего не сгенерирует ни одна модель. Эстафета: старшие отдают накопленное, младшие уносят его за орбиту.
Сложим всё. Будущее принадлежит тем, кто умеет видеть структуру, доказывать и проектировать; функциональное программирование станет единственным посильным способом строить растущую сложность; а человек — Создателем нового уровня. Но ни язык, ни инструменты не передаются сами: их передаёт образование.
Поэтому курс заканчивается там же, где начинался, — человеком, который учится видеть. Только теперь он вооружён алгеброй, логикой и инвариантами, готов строить системы любой сложности и, главное, учить следующих. Будущее — за образованием. Остальное — приложится.