The principle of extensionality (Section 11.8) can apply to functions as well as data. (a) Write an extensional definition for the equality of two functions. (b) Can this definition be implemented in...

The principle of extensionality (Section 11.8) can apply to functions as well as data.

(a) Write an extensional definition for the equality of two functions.

(b) Can this definition be implemented in a programming language? Why or why not?

(c) Does the language C, Ada, or ML allow testing of functions for equality? If so, how does this test differ from your extensional definition?