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

[aditya siram]

Check out Hint [1].

[1] http://hackage.haskell.org/package/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?
> --
> Regards,
> Casey
> _______________________________________________
> Haskell-Cafe mailing list
> Haskell-Cafe at haskell.org
> http://www.haskell.org/mailman/listinfo/haskell-cafe
>