On Sun, 2007-06-24 at 13:33 +0100, Claus Reinke wrote: > if you have a strongly and dynamically typed language, you can embed > strongly and statically typed languages into it. by default, that means > you get more type-checks than necessary and type-errors later than > you'd wish, but you still get them.
Are you sure this is true in a meaningful way? You can always simply run the type checker at run-time, and this is indeed where statically typed languages are heading, but e.g. phantom types, and runST style tricks are areas where the embedding into a dynamically typed language is, at the very least, not trivial. _______________________________________________ Haskell-Cafe mailing list [email protected] http://www.haskell.org/mailman/listinfo/haskell-cafe
