имел ввиду что в рантайме типизации нет, есть код и метаинформация привязаная к этому коду, вот за счет рефлексии можно вытащить эту метаинформацию
я об этом и говорил, что за счет типов на этапе компиляции ты можешь кодогенерировать код, который будет проверять эту информацию (а не переносить типы as is)
я об этом и говорил, что за счет типов на этапе компиляции ты можешь кодогенерировать код, который будет проверять эту информацию (а не переносить типы as is)