Hacker News new | ask | show | jobs
by a1o 1100 days ago
I agree with the comment that says this removes the personality of each function
1 comments

Why doesn't subtraction need personality?
I don't think there are many deep theorems about subtraction, but there are a lot of very deep theorems about powers (and polynomials), the exponential function and logarithm functions (especially in complex analysis).