proposal: add 'unsafeCoerce'
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
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