Brilliant. Love the programming analogy. I like that the above works particularly well in C as: int f(int x); int f(int t); will compile with no errors,

Brilliant. Love the programming analogy. I like that the above works particularly well in C as: int f(int x); int f(int t); will compile with no errors, while changing t to, f.i., "float" obviously won't. I wonder whether this could be pushed farther to come up with programmer-friendly descriptions of things like the chain rule starting from something like: int h(int x) { return f(g(x)); } etc.