Исходное сообщение
"Выпуск языка программирования Rust 1.71 " Отправлено ламер, 16-Июл-23 02:28
Я боюсь, что Вы слишком бегло просмотрели текст и не уловили контекст. Но в этом есть и моя вина, что написал не разборчиво. Выше просто поднялась тема про реализацию типов-сумм и я решил несколько раскрыть мысль, сделав небольшие ремарки. В моем комментарии говорится про то, что в языках без тип-сумм их можно средствами тамошних систем типов. В примитивном варианте — через union-тип, в ООП — через объектную систему и её полиморфизм подтипов. Я думаю, что осложнила восприятие изложение про связь в Rust компилятора и кода пользователем. Это было лишнее, Вы правы.