[Haskell-cafe] Dynamic types through unsafeCoerce

Taral taralx at gmail.com
Tue Dec 12 14:30:42 EST 2006


On 12/12/06, Alfonso Acosta <alfonso.acosta at gmail.com> wrote:
> So it would be great to be able to use unsafeCoerce.

It would be great -- but Typeable is the only way to get *safe*
typecasts of this type. Otherwise, you may as well run without a
typechecker.

-- 
Taral <taralx at gmail.com>
"You can't prove anything."
    -- Gödel's Incompetence Theorem


More information about the Haskell-Cafe mailing list