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

[Don Stewart]

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