[Haskell-cafe] coerce (safe!)
nominolo at googlemail.com
Sat Mar 1 19:58:21 EST 2008
On 2 mar 2008, at 01.21, Krzysztof Skrzętnicki wrote:
> Well, it is simply
> > coerce :: a -> b
> > coerce _ = undefined
> so coerce is simply empty function. But still, it is possible to
> write a function of type (a->b).
> Well, possibly I didn't write anything particularly new, but please
> excuse me for I'm still in
> sort of a shock after I've discovered it.
> Yet this function reminds me how little I know so I have a question
> for you.
> I didn't took any lectures in Category Theory (for I'm still just a
> student, and I won't for there are none in my institute),
> but are there any good (e)books you would recommend for a (future)
> computer scientist?
For your particular problem you might want to start with this thread
(and the linked paper):
More information about the Haskell-Cafe