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

Casey Hawthorne caseyh at istar.ca
Sat Apr 3 22:22:38 EDT 2010


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


More information about the Haskell-Cafe mailing list