See also: IRC log
Accepted. No regrets heard.
<scribe> ACTION: A-208-01: Norm to put the categorization on the agenda for 23 Feb [recorded in http://www.w3.org/2012/02/02-xproc-minutes.html#action01]
Norm: I sent mail to Liam to
setup a time to chat about it.
... I'm going to propose what we talked about last week: that we have enough community interest to start a V.next on the REC track
<jfuller> Philip Fennel talking XPROC
<jfuller> some xproc libs
Jim: I'm interested in Vojtech's shimming approach.
Vojtech: There are two main
things to this: one is the conversion between media types. On
the ports you can declare what kinds of media types they accept
... You can specify a wildcard. For example, the identity step in my extension can process arbitrary media types.
... And the p:store step can process arbitrary media types.
... If you have two steps that are connected and the first step produces application/xml and the second step takes application/json, then if the processor knows how to convert from XML to JSON, the XML will be converted to JSON for the second step.
... This is the main idea. There are some defaults, for example application/xml and image/svg+xml, then conversion might happen or it might just be passed through.
... The second big part is what to do with XPath in XProc. Because the conversion happens only between the input and output ports, but you can also have options/choose-when/etc.
... In all the places where you can use XPath, you can encounter non-XML data in the context.
... I support that to the extent that some expressions succeed, for example base-uri() and media type information.
... Potentially you can also imagine that you could access the binary stream itself, but I didn't go that direction.
... Those are the two main things.
Vojtech's paper will be presented at XML Prague 2012.
Vojtech: There are also some
small changes to the steps to operation on non-XML data (like
p:identity and p:store)
... The compound steps like for-each and choose/when, they can operate on any media type.
... One nice feature that you get with for-each is that if you put an output that declares a media type, you can get automatic conversion to that media type for all the subpipeline's outputs.
... For the bindings, where the media type is not available or wrong, you have the opportunity to override the binding. You can say that this isn't application/xml, but instead it's a JPEG or something. It doesn't convert, it just overrides the media type carried with the document.
Jim: Thanks. That's
... It sounds like the shimming is less of a hassle than the impact on XPath.
Vojtech: Well, there are more
... Before you evaluate an XPath expression, maybe you should shim to XML. But it occurred to me that you could do it beforehand.
... That way you get more flexibility.
... There's a question about what kinds of conversion you should handle and how. Maybe we could come up with some default conversions.
... But if you just take XML and JSON, there are a whole bunch of schemes. I left that open.
... Things like handling the XQuery inputs are handy.
... There are open questions about what to do with p:document or p:load if you point it to non-XML data.
... Right now we convert to base64, but with my proposal we don't do that.
... I tend to think of p:data and p:http-request as similar things, so they behave the same way.
... Overall I was surprised that it wasn't that difficult. There weren't that many breaking changes.
... It's not that dramatic a change for pipeline authors.
Jim: It doesn't sound like low-hanging fruit to me, but...
Vojtech: Well, it's not because
there are a bunch of loose ends. I made some arbitrary
... Some of the questions have broader implications.
Alex: This is an example of where
just looking at the low-hanging fruit doesn't necessarily
achieve all the goals of making XProc easier to use.
... I'm not sure we should tackle every problem that's beneficial, but we need some way of deciding.
... I really like this. It solves problems that have really frustrated me.
Vojtech: Yes. I have lost of
implementations with non-XML data, so you need to work around a
lot of issues.
... I implemented it in our XProc engine and it turns out that it's not that difficult.
... I think this whole topic is something that needs more careful consideration.
Norm: I think we should put this on the list as a possibility.
Vojtech: If you just take the
changes to the XProc language, there were only two: extra
attributes on input/output and binding elements.
... And one more XPath extension function to get the media type.
Alex: Non-XML stuff and parameters are the two big pain points.
Norm: Yeah, I think something like Vojtech's approach for non-XML might be worth doing and I still think we might do something clever with parameters and maps.
Vojtech: I changed the
pxp:zip/unzip steps to treat the ZIP documents as a (binary)
stream. The output of the pipeline is really binary ZIP
... For this kind of functionality I think that's a nice feature.
Norm: We've got a little time left. What about Mohamed's ideas for streaming.
SCRIBE PUT MAIL LINK HERE
Norm expresses general approval.
Henry: I'm not sure I understand
the unordered one.
... I'm not sure howi t buys you anything at all. Imagine that you're implementing the for-each step.
... You fork six threads and now what do you do?
Vojtech: When the first is done, you can send it's output along.
Norm attempts to explain.
Henry: It's not a buffering issue. You have to buffer all six. There's no way to know which one is going to finish first.
Henry: What is true is that you can hand a pointer to the buffer for whoever finishes first on to the next stage.
<MoZ> no you'll have to buffer ONE LESS
<MoZ> but you indeed may have to buffer the last 5
Henry: What I was thinking of was that someone might want to do more complex analysis. If you have a for-each followed by an identity followed by another for-each, you can make huge gains by optimizing the flow.
<MoZ> The point being to let the implementation define the strategy that minimize buffering
<jfuller> +1 to that
<MoZ> we may have the same point with XSLT 2.0+ outputs
<MoZ> but it becomes the XSLT implementation problem
Some discussion of cardinality and media type wrt Alex's question about href on p:query
Jim: In the past, was there any
discussion of adding metadata to the input/output of
... If we were going to do the shimming, instead of adding media type, we could do something broader.
Henry: "Yes" is the short answer,
a very long time ago. It was in conjunction with the question
of outputs. I mentioned the fact that in the old Markup
Pipeline Engine, it was coherent to persist the output escaping
result of an XSLT step. If you turned of output escaping, as
part of the output of an XSLT step,
... if you do that in the middle of a pipeline that gets lost.
... Because that's a property of the *stylesheet*, the pipeline author might not even know about it. You can't use the pipeline's own controls.
... So we had a general purpose backchannel (an attribute/value backchannel) in the architecture.
... Another thing you can use it for is to persist the character encoding. So you can output in the same encoding that you received.
... If you get latin-3, you produce latin-3.
Alex: This is interesting,
because it seems to go along with the idea of media
... The media type has parameters and one of them is the encoding.
... I think the immediate follow-on from having media types is dealing with other metadata.
Jim: Yeah, that's what I was thinking of. It could also potentially simplify some existing steps.
Discussion returns inevitably to parameters.
Alex: There are two large buckets: getting stuff from an uknown bucket that comes from outside the pipeline and copying directly from options passed to the pipeline.
Henry: I think what's not clear
to me is that the parameter passing topology is potentially
different from the backchannel I had in mind.
... Such a backchannel is really metadata about a particular document.
Norm: I don't think we meant the same mechanism...
Alex: What's curious about the
parameter problem compared to the media type thing is that it's
a change that doesn't seem to really rock the boat from a
pipeline author perspective.
... The parameters thing could be a radical departure.
Vojtech: I was thinking the same thing.
Norm: For my part it depends on the solution.
Henry: And here's a pipeline conversion pipeline.
None heard. See you in three weeks.