There's nothing in a REPL incompatible with static typing. Haskell, Swift, and Hack by FP all have interpreters with type provers.

But it's quite a lot of work to get acceptable OS performance if your entire system is interpreted or has to be JIT compiled all the time. People who do that tend to coincidentally decide they're so hardcore they don't even need JPEG support, video, or web browsing…