Type Driven Development: лайвкодинг с AI

Чем больше свободы мы даём AI, тем больше вариантов реализации он может придумать.

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

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

Потому что самая дешёвая ошибка — та, которую поймал компилятор.

Не тест, не QA, не пользователь в проде, а компилятор. За секунду и ещё до коммита.

Но обычно мы используем его по минимуму: всё моделируем строками, int и null, а потом пишем горы проверок и тестов, чтобы поймать то, чего код вообще не должен был позволить:

email, в котором нет @;

заказ, который отменили после доставки;

userId, переданный туда, где ждали orderId.

На вебинаре возьмём живую задачу и в формате лайвкодинга с AI вместе построим дизайн, который ловит часть ошибок ещё на этапе компиляции:

заменим примитивы на типы из предметной области;

сделаем некорректные состояния непредставимыми;

посмотрим, как компилятор подсказывает, что мы забыли обработать новый случай;

разберём, где заканчивается польза от типов и начинается работа тестов.

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

Ведущие:

Антон Бевзюк

Светлана Кривенко

Екатерина Черепанова

Анна Короткова