Due to type checking, the compiler verifies that it still works as you refactor. People don't usually re-test everything exhaustively in a REPL after changes.

Due to type checking, the compiler verifies that it still works as you refactor. People don't usually re-test everything exhaustively in a REPL after changes. Type checking is still in effect during long-term maintenance.