Higher Order Applicative XML Documents

摘要

XML is the extensible mark-up language designed to describe data on the world wide web. The syntax and semantics of a higher order applicative extension of XML is described here. In HOAX, the tag constructions < f > a < /f > of standard XML documents denote the application of a function f to its arguments a. HOAX provides a natural "higher order XSLT", that is, a higher order functional language which manipulates XML documents. The objective of HOAX is to make transformation and automatic generation of XML documents more like declarative programming, thereby extending into the programming domain the same clarity and power of expression that has distinguished XML as a datatype language.