[Haskell-cafe] Dynamic types through unsafeCoerce

Alfonso Acosta alfonso.acosta at gmail.com
Sun Dec 10 06:08:04 EST 2006

On 12/10/06, Taral <taralx at gmail.com> wrote:
> Sure it is. The type you gave (MyType Int Char -> MyType a b) can
> easily crash your program.

Ok I see. Why would that happen? I'm (maybe wrongly) taking as granted
that the compiler/interpreter uses the same internal representation
for both types. But that makes me think it shouldn't be that dangerous
if nothing is later assumed about the type parameters "a" and "b".

More information about the Haskell-Cafe mailing list