On Wed, 19 May 1999, D. Tweed wrote:
Correcting myself slightly:
> effect of the function is to return a value. But, it's still legal &
> sensible to write things like, for f::Int -> (Double,Double), y = fst (f
> 5), or even (_,_) = f 5. So you can't rely on type inference giving you
^^^^^^^^^^^
z@(_,_)=f 5 (the idea is that maybe by reducing as far as
(_,_) you can free a large temporary datastructures which would otherwise
be dragged around until actual use, unable to be garbage collected. A
better example would be if the 5 was a huge list.)
> complete information about the return type and hence there will still be
> sets of functions and usages which will result in unresolved
> `ad-hoc-overloading'
___cheers,_dave______________________________________________________
email: [EMAIL PROTECTED] "`What sort of people would we be if
www.cs.bris.ac.uk/~tweed/pi.htm we didn't go into the Library?'
work tel: (0117) 954-5253 `Students.' -- Terry Pratchett
