21 Jan
2008
21 Jan
'08
7:41 p.m.
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:Bulat.Ziganshin@gmail.com