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

caseyh:

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?

It certainly adds a phase in that you need to type check code before executing it. Which means you'll need to keep *some* types around at the splice/hot loading points. That is all. -- Don