Are there any programming languages that combine REPL-style "redefine a single function" development with static typing? I feel like many languages are prioritising the latter, but in principle we could totally have both.