proposal: add 'unsafeCoerce'

Taral taralx at gmail.com
Mon Nov 20 15:34:28 EST 2006


On 11/20/06, Malcolm Wallace <Malcolm.Wallace at cs.york.ac.uk> wrote:
> There is one more important use case you haven't mentioned:
>
>     * casting from a newtype to the contained value (or vice versa).
>
> This latter type of cast is the only one I can remember ever having used
> myself.

Why do you need to cast for this? You have "casting" operators in the
form of the constructor and (synthesized) destructor.

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


More information about the Libraries mailing list