Static typing is normally about "the types are known at compile time". With modern JIT compilers, the difference between compile time and run time isn't so clea

Static typing is normally about "the types are known at compile time". With modern JIT compilers, the difference between compile time and run time isn't so clear, so the question loses its meaning.