I might be misunderstanding, but it’s definitely possible to emulate this feedback loop with statically typed languages. For example, Haskell has the `-fdefer-

I might be misunderstanding, but it’s definitely possible to emulate this feedback loop with statically typed languages. For example, Haskell has the `-fdefer-type-errors` flag that will turn type errors into warnings at compile time and runtime failures if the expression that fails to type-check is evaluated.