[Haskell-cafe] Re: Best idiom for avoiding Defaulting warnings with ghc -Wall -Werror ??

[Derek Elkins]

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.