[Haskell-cafe] Apparently, Erlang does not have a static type
system, since with hot code loading, this is intrinsically difficult.
aditya.siram at gmail.com
Sun Apr 4 00:37:58 EDT 2010
Check out Hint .
On 4/3/10, Casey Hawthorne <caseyh at istar.ca> wrote:
> 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?
> Haskell-Cafe mailing list
> Haskell-Cafe at haskell.org
More information about the Haskell-Cafe