Do you need to have static typing in your byte code for static typing at the language level to be useful? I ask because the JVM lacks static typing[1] at byte

Do you need to have static typing in your byte code for static typing at the language level to be useful? I ask because the JVM lacks static typing[1] at byte code level but Java and Scala have it at the language level where it seems to be useful for correctness and performance. 1. https://wuciawe.github.io/jvm/2017/03/04/notes-on-jvm-bytecode.html https://wuciawe.github.io/jvm/2017/03/04/notes-on-jvm-byteco...