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 _______________________________________________ Haskell-Cafe mailing list [email protected] http://www.haskell.org/mailman/listinfo/haskell-cafe
