Jason Dusek wrote:
2010/04/03 Casey Hawthorne cas...@istar.ca:
Apparently, Erlang does not have a static type system, since with hot
code loading, this is intrinsically difficult.
It is doubtless hard to statically check a program that is
not statically available :)
Well, so long as you
2010/4/4 Casey Hawthorne cas...@istar.ca:
Apparently, Erlang does not have a static type system, since with hot
code loading, this is intrinsically difficult.
Apparently, this is doable with proper engineering even for such an
unsafe language as C: http://www.cs.umd.edu/projects/PL/dsu/
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
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?
Check out Hint [1].
[1] http://hackage.haskell.org/package/hint
On 4/3/10, Casey Hawthorne cas...@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
2010/04/03 Casey Hawthorne cas...@istar.ca:
Apparently, Erlang does not have a static type system, since with hot
code loading, this is intrinsically difficult.
It is doubtless hard to statically check a program that is
not statically available :)
If Haskell allows hot code loading, would