[Haskell-cafe] Apparently, Erlang does not have a static type system, since with hot code loading, this is intrinsically difficult.

[Casey Hawthorne]

Apparently, Erlang does not have a static type system, since with hot
code loading, this is intrinsically difficult.

"Erlang Programming", Francesco Cesarini & Simon Thompson, June 2009,
O'Reilly, page 31.


If Haskell allows hot code loading, would this throw a wrench into the
static type system?
--
Regards,
Casey