
3 Jan
2011
3 Jan
'11
9:37 a.m.
Thanks Luke,
A functor is a special kind of one parameter type constructor, that has one of these mapping operations (called "fmap"). It means that they treat their parameter in a particular way, roughly that they do something kind of like returning it rather than depending on it. Note that you cannot write such a definition for IntFunc2.
This was very helpful. Would you suggest any reading material to get better understanding of theory? Regards, Kashyap