Вовсе не обязательно. Те же окамл с хаскелем статически типизированы и компилируются в натив, но там честные генерики, которые один раз компилятся. Где-то это минус (инлайнинг страдает), где-то плюс (раздельная компиляция нормальная). И, например, полиморфная рекурсия доступна лишь с нормальными дженериками.