> Информация о типах теряется после компиляции, типы не переживают AST. Какой-нибудь ubsan очень резко не согласится с тобой. Он очень даже переживает это и прекрасно расскажет в какой переменной с каким типом ты дал маху. Разумеется оверхед на рантайм проверки значений добавится а размер бинаря станет крупнее, за счет хранения вот этих сведений и кода с проверками. Но так можно из сей сделать что-то типа явы или дотнета, если вы это и правда хотели, особенно если asan еще включить :)
>> всё равно типизации в языке 0.
> 0 в ассемблере.
И даже там чуть более чем ноль может быть. Скажем можно проверить что константа лезет в регистр, все такое.