> It makes me wonder what a UI language/system
    > would look like if it were designed from the
    > ground up to be declarative

I think most people have seen XSLT only in trying to do simple transformations, without getting properly under its skin. Personally I've written a bunch of stuff in it -- a testing suite, graph traversal algorithms -- that make you appreciate it's absolutely a functional declarative language.