saxonica.com

Higher Order Functions

Saxon-EE implements the new facilities for higher-order functions in XQuery.

Saxon applies function coercion when a function is passed to another function, or when it is returned as a function result. However it also implements a proposed change to the specification whereby function coercion is not used for operations such as "instance of". These follow stricter type checking rules: a function F(A,B)->T is an instance of a type F(X,Y)->U if every T is an instance of U, every X is an instance of A, and every Y is an instance of B.

Next