[Haskell-cafe] Dynamic types through unsafeCoerce
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
Taral <taralx at gmail.com>
"You can't prove anything."
-- Gödel's Incompetence Theorem
More information about the Haskell-Cafe