For some time now, the syntax of XSLT has bothered me -- its verbosity, that gushing typographic clutter, clearly encumbers best-practices programming.
XLove suggests an alternate syntax that emphasizes the functional nature of XSLT; and SXML posits a representation of general XML data as Lisp forms. But both of these, aside from reducing close-tags to a single character, do very little to solve XSLT's clutter problem.
I think it's time for a better alternate syntax for viewing and writing XSLT. In this document I will propose such a system, which I call MatTS (Matryoshka Transformation Syntax).
XLove and SXML start out with an implementation of alternate syntax as an input which becomes conventional XSLT. But so as to better tune the alternate syntax as a visual artifact, I instead choose to implement the alternate syntax as a view of XSLT, which XSLT becomes. (As such, I have left the development of an editing environment as a mere implementational detail which I am sure the marketplace will provide for in due time, as it has done for UML, that other recent breakthrough in informatic display.)
Most hierarchy-based notations display their structure with bits of
matching punctuation, whether parens, brackets, or braces. However, I
view this as a holdover from the days of daisywheel printers and other
forms of mere movable type. With our modern bitmap displays and LASER
printers, it is far easier and clearer to display structure as series
nested shapes -- say, boxes. Clearly,
(foo ((bar) baz)) is inferior to the clarity of
| |+---+ ||
| ||bar| ||
| |+---+ ||
| |baz ||
[presented as ASCII art for ease of transmission]
This sort of matryoshka notation is the basis of my new variant syntax for XSLT, and it in fact gives the syntax its name. But in and of itself, this notation would go no further than Xlt and SXML at relieving XSLT's clutter problem. The greatest benefit of MatTS is in providing a terse syntax for all important XSLT constructs. In the best tradition of modern higher mathematical notation and typography, I have chosen well-known Greek letters and various printers' symbols for the operators.
The following table illustrates and specifies this formalism:
«...» (general attribute value)
The preceding explanation aside, the best way to appreciate MatTS is by simply trying it out -- MatTS as a visualization application is itself implemented in browser-accessible XSLT, and so can be used to view other XSLTs as well as itself. (Compare with the clutter of those XSLs when viewed in conventional XSLT notation:  .)