20 Nov
2006
20 Nov
'06
8:34 p.m.
On 11/20/06, Malcolm Wallace <Malcolm.Wallace@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@gmail.com> "You can't prove anything." -- Gödel's Incompetence Theorem