20 Nov
2006
20 Nov
'06
3:34 p.m.
On 11/20/06, Malcolm Wallace
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