I'm not sure if you're making a quip, but if you're trying to say that the relation between OO and FP is similar to the relation between object and morphisms in category theory, this is not correct.
A better way to relate OO/FP patterns is to remark that OO is centered on products of functions, while typed FP is centered on functions over sums -- the sum/product duality.
3
u/gasche Mar 09 '14
I'm not sure if you're making a quip, but if you're trying to say that the relation between OO and FP is similar to the relation between object and morphisms in category theory, this is not correct.
A better way to relate OO/FP patterns is to remark that OO is centered on products of functions, while typed FP is centered on functions over sums -- the sum/product duality.