[Haskell-cafe] Re: Best idiom for avoiding Defaulting warnings
with ghc -Wall -Werror ??
derek.a.elkins at gmail.com
Mon Jun 25 13:03:39 EDT 2007
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.
More information about the Haskell-Cafe