[Lio]

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-byteco...