You are confusing dynamic typing with dynamic code interpretation. So there ARE statically typed languages with a REPL, for example Haskell. And there are dyn

You are confusing dynamic typing with dynamic code interpretation. So there ARE statically typed languages with a REPL, for example Haskell. And there are dynamically typed languages without a REPL - for example Perl (in the core distribution). Static typing means that for example, a list can only contain one type of element. And because of these constraints, the compiler can find some errors that are not found otherwise.