c-cube/IKSML — pull request #1 by dsheets (2012-02-08 11:26:29+00:00)
Title: XSLT Implementation

Some thoughts:

I reduce apply as a redex on its own and take concatenation to mean application. This really makes it more of an SKapplyML or something. I also didn't include I as it seemed redundant (but we should put it in a namespace). I also lower-cased the combinators and didn't mark them as fun. I think we should use XML namespaces to determine reduction.

The XSLT does not find a fixpoint. I was thinking maybe I'd write a shell script to do this? I'd really like VBScript but I just don't seem to have a VBScript interpreter handy. VBScript is definitely needed to attract our enterprise clients, though. Or perhaps Java or JavaScript?

Should IKSML programs contain information about their complexity so the interpreter can bound the reductions? Seems like it needs to be a function of their input. Can you apply IKSML terms to themselves or only to atomic XML values?