Исходное сообщение
"Релиз Electron 9.0.0, платформы создания приложений на базе ..." Отправлено Доктор Моро, 21-Май-20 01:16
и Any и Variant, и Option в C++ это классы написанные на самом C++ и они не являются частью системы типов C++. То, что на C++ можно написать Any/Variant/Options не означает, что C++ перестал после этого быть статически типизированным. Указатель (в них всё делается через указатели, шаблоны и т.п.), как был так и остался указателем определённого типа, reinterpret_cast __явно__ задаёт новую трактовку этого указателя при этом всяческие гарантии со стороны C++ снимаются и об этом прямо написано. Если бы трактовка задавалась неявно то вопросов бы не было, это был бы динамически типизированый язык, но она задаётся __явно__! Any и прочая динамическая пурга в TypeScript это часть системы типов TypeScript. Что означает, что системы типов в TypeScript по сути нету. Не может тип в статически типизированых языках включать в себя бесконечное множество других типов. Не может тип в статически типизированых языках неявно менять свой тип в зависимости от присвоенного значения. Это свойство динамически типизированых языков. Тёплое и мягкое это разные вещи.