Если язык является типобезопасным, означает ли это, что можно автоматически предположить, что он статически типизирован, поскольку вам придется проверять типы во время компиляции?