Hello Alexander,

Monday, January 21, 2008, 8:28:33 PM, you wrote:

> So, the function type "(Num a)=>Integer->a" means that return value
> of this function can be cast to any particular instance of class Num.

no! this means that the function really can return value of any type -
the calller (implicitly, via dictionary) says which type should be returned


-- 
Best regards,
 Bulat                            mailto:[EMAIL PROTECTED]

_______________________________________________
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe

Reply via email to