​1. Проблема, которую не решают типы Начну с боли, знакомой каждому, кто работал в крупной кодовой базе. Идеальная типизация. 90% покрытия. Зелёный CI. Code review в два глаза. И всё равно раз в квартал — инцидент: заказ отменён после отгрузки, платёж возвращён дважды, скидка применена к товару, который в акции не участвует. Ни один тест не упал. Ни один тип не возмутился. Компилятор был счастлив. Теперь добавьте вторую картину. Разработчик просит Copilot «написать метод refund для платежа», получает...