Эффективная проверка типов во время выполнения