[Haskell-cafe] Dynamic types through unsafeCoerce

Lemmih lemmih at gmail.com
Sun Dec 10 10:20:54 EST 2006


On 12/10/06, Alfonso Acosta <alfonso.acosta at gmail.com> wrote:
> 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".

If the parameters aren't used, why not create a new data type without them?

-- 
Cheers,
  Lemmih


More information about the Haskell-Cafe mailing list