IRC log of xproc on 2006-11-02

Timestamps are in UTC.

15:48:17 [RRSAgent]
RRSAgent has joined #xproc
15:48:17 [RRSAgent]
logging to
15:48:23 [Norm]
Meeting: XML Processing Model WG
15:48:24 [Norm]
Date: 2 Nov 2006
15:48:24 [Norm]
15:48:24 [Norm]
Meeting: 42
15:48:24 [Norm]
Chair: Norm
15:48:25 [Norm]
Scribe: Norm
15:48:27 [Norm]
ScribeNick: Norm
15:57:04 [Zakim]
XML_PMWG()11:00AM has now started
15:57:11 [Zakim]
15:58:33 [MoZ]
Zakim, what is the code?
15:58:33 [Zakim]
the conference code is 97762 (tel:+1.617.761.6200), MoZ
15:58:38 [MoZ]
Zakim, thanks a lot
15:58:38 [Zakim]
I don't understand 'thanks a lot', MoZ
15:59:02 [MoZ]
Zakim, thank you
15:59:03 [Zakim]
you are very welcome, MoZ
15:59:14 [Zakim]
15:59:25 [rlopes]
Zakim, [ is me
15:59:25 [Zakim]
+rlopes; got it
15:59:32 [Zakim]
15:59:40 [MoZ]
Zakim, ??P35 is me
15:59:40 [Zakim]
+MoZ; got it
16:00:59 [Alessandro]
Alessandro has joined #xproc
16:01:00 [Zakim]
16:01:04 [ht]
zakim, please call ht-781
16:01:04 [Zakim]
ok, ht; the call is being made
16:01:06 [Zakim]
16:01:30 [alexmilowski]
alexmilowski has joined #xproc
16:01:40 [PGrosso]
PGrosso has joined #xproc
16:01:47 [Zakim]
16:01:48 [Alessandro]
Zakim, [IP is Alessandro
16:01:51 [Zakim]
+Alessandro; got it
16:02:01 [Zakim]
16:02:30 [Zakim]
16:03:12 [Norm]
Norm has joined #xproc
16:03:29 [Norm]
zakim, who's on the phone?
16:03:29 [Zakim]
On the phone I see Norm, rlopes, MoZ, Alex_Milowski, Ht, Alessandro, PGrosso, ??P6
16:03:34 [Norm]
zakim, ??P6 is msm
16:03:34 [Zakim]
+msm; got it
16:03:57 [AndrewF]
AndrewF has joined #xproc
16:04:31 [richard]
richard has joined #xproc
16:04:45 [Zakim]
16:04:46 [Zakim]
16:04:47 [AndrewF]
zakim, ? is AndrewF
16:04:48 [Zakim]
+AndrewF; got it
16:05:10 [Zakim]
16:05:11 [Norm]
zakim, who's on the phone?
16:05:11 [Zakim]
On the phone I see Norm, rlopes, MoZ, Alex_Milowski, Ht (muted), Alessandro, PGrosso, msm, AndrewF
16:05:14 [Zakim]
16:05:16 [richard]
zakim, ? is me
16:05:16 [Zakim]
+richard; got it
16:05:48 [Norm]
zakim, who's on the phone?
16:05:48 [Zakim]
On the phone I see Norm, rlopes, MoZ, Alex_Milowski, Ht, Alessandro, PGrosso, msm, AndrewF, richard
16:06:33 [Zakim]
16:06:38 [MSM]
MSM has joined #xproc
16:06:43 [Norm]
Present: Norm, Rui, Mohamed, Alex, Henry, Alessandro, Paul, Michael, Andrew, Richard
16:06:57 [Zakim]
16:06:57 [MSM]
MSM has joined #xproc
16:06:57 [richard]
zakim, ? is me
16:06:58 [Zakim]
+richard; got it
16:07:15 [Norm]
Topic: Accept this agenda?
16:07:15 [Norm]
16:07:18 [MSM]
zakim, who is here?
16:07:18 [Zakim]
On the phone I see Norm, rlopes, MoZ, Alex_Milowski, Ht, Alessandro, PGrosso, msm, AndrewF, richard
16:07:21 [Zakim]
On IRC I see MSM, richard, AndrewF, Norm, PGrosso, alexmilowski, Alessandro, RRSAgent, rlopes, Zakim, MoZ, ht
16:07:24 [Norm]
16:07:35 [Norm]
Topic: Accept minutes from the previous meeting?
16:07:35 [Norm]
16:07:44 [Norm]
16:07:50 [Norm]
Topic: Next meeting: telcon 9 Nov 2006
16:08:04 [Norm]
No regrets given.
16:08:17 [Norm]
Topic: Review of open action items
16:08:36 [Norm]
A-13-01: continued
16:08:50 [Norm]
A-41-01, A-41-02, A-41-03: completed
16:08:59 [Norm]
A-41-04: continued
16:09:43 [Norm]
Topic: Technical agenda
16:10:00 [Norm]
Review of the 27 Oct draft
16:10:08 [Norm]
16:12:07 [Norm]
Henry: It needs to be possible to specify if parameters are required or optional.
16:12:40 [Norm]
ACTION: Norm to address optional/required parameters in the next draft.
16:13:44 [Norm]
Topic: Discussion of select vs. match semantics
16:14:43 [Norm]
Richard: I certainly want to be able to stream, but I'm not convinced that we have to restrict to match patterns because you've got to do some analysis anyway. It doesn't seem to be more difficult one way or the other.
16:14:56 [Norm]
...You've got to be able to not stream in general anyway.
16:15:07 [Norm]
...An implementation is bound to have to do most of this work anyway.
16:15:22 [Norm]
Henry: I don't have as much of a concern about that as I do about the interpretation of bare names.
16:15:36 [Norm]
...I find it odd to write //foo when I want the foo's. I'd have expected "foo" to do that.
16:15:56 [Norm]
Richard: I agree that that's odd, OTOH, there are things that are hard to write as match patterns.
16:16:31 [Zakim]
16:17:51 [Norm]
Norm: I think we should use select on input and therefore select everywhere.
16:18:57 [Norm]
Richard: That argument seems much less appealing in the viewport case.
16:19:15 [Norm]
...It's very much like an XSLT identity transform with a single pattern.
16:19:33 [Norm]
Henry: I agree, but I also agree that the consistency argument is a good one.
16:19:58 [Norm]
Richard: We have to do something special in the viewport case anyway, because we can only process the top most match.
16:20:22 [Norm]
...We could do something different there.
16:21:19 [Norm]
Michael: Is the use of match patterns an unquestioned win or only an illusory win for streaming.
16:21:19 [Norm]
...Some people seemed convinced that mattered for streaming, others didn't agree.
16:21:20 [Norm]
Richard: I agree you have to do a fair amount of analysis to be as efficient, but I think you're going to have to do that anyway.
16:22:25 [Norm]
...Something I keep meaning to do is write some code to split a general XPath expression into streamable and non-streamable parts.
16:22:40 [Norm]
...It's just an example of locality of reference.
16:22:59 [Norm]
Alex: One of the things I'm thinking about here that the conservative thing to do is say that it's match patterns.
16:23:30 [Norm]
...I'm concerned that people will push a lot of things into expressions on inputs that are maybe the wrong way to do things in a pipeline.
16:24:01 [Norm]
Richard: I'm not quite sure I see this. Even if we have select expressions, we can only have select expressions that return node sets and propbably only elements.
16:24:08 [Norm]
16:24:36 [Norm]
Richard: The only difference in practice that I can see is that there are some things that are difficult to express with match.
16:25:04 [Norm]
...Those are annoying, but maybe they aren't common enough to matter.
16:25:04 [Norm]
Henry: Example?
16:25:16 [Norm]
Richard: How would you write the last chapter?
16:25:35 [Norm]
Michael: //chapter[last()]
16:25:47 [Norm]
Richard: That works if they are all siblings of the same book
16:26:06 [Norm]
Michael: Ok then I need ... (scribe missed)
16:26:22 [Norm]
Richard: To do it as a match //chapter[not(following::chapter)]
16:26:35 [Norm]
...That's legal but unbelievably expensive in most implementations
16:27:09 [Norm]
...There's a reasonably efficient expression for it, but not as a match pattern.
16:27:11 [richard]
16:28:02 [Norm]
Richard: I raise this case because someone really wanted to do that here recently
16:28:15 [Norm]
...It was in a program that only used match patterns.
16:28:36 [Norm]
Alex: I like match better and I still think it's the conservative thing to do.
16:29:05 [Norm]
Murray: I think that what I've heard is that some want to do select and others want to do match.
16:29:20 [Norm]
...The issue is that we can't do both because it's too much of a burden on implementations.
16:29:31 [Norm]
Richard: No, if you could do select then you don't need match.
16:31:40 [Norm]
Norm expresses concern that giving users both ways of doing it makes everything harder and more confusing.
16:31:48 [Norm]
zakim, who's on the phone?
16:31:48 [Zakim]
On the phone I see Norm, rlopes, MoZ, Alex_Milowski, Ht, Alessandro, PGrosso, msm, AndrewF, richard, Murray_Maloney
16:32:16 [MSM]
[MSM silently agrees with Norm: choose one, don't make the user choose.]
16:32:17 [Norm]
Straw poll: for input and for-each, and leaving aside viewport for a moment, do you prefer select semantics or match semantics.
16:32:46 [Zakim]
16:34:10 [Zakim]
16:34:29 [rlopes]
Zakim, [IP is me
16:34:29 [Zakim]
+rlopes; got it
16:36:07 [Norm]
Results: 7 for select, 3 for match, one for allowing users to choose either at their discretion
16:37:54 [Norm]
Norm: Is there anyone who objects to accepting select semantics as the consensus view.
16:38:14 [Zakim]
16:38:19 [Norm]
None heard.
16:38:38 [Norm]
What about viewport?
16:38:50 [Norm]
Alex: If we have select semantics, I still think that match is the right semantic for viewport.
16:39:41 [Norm]
Norm: Viewport is special because we only want the outer-most subtree.
16:39:50 [Norm]
Alex: I think the match semantics work really well here.
16:39:52 [Norm]
Richard: I agree.
16:41:22 [Norm]
Norm: I suppose I could live with viewport being different, but it's not my first choice.
16:41:55 [Norm]
Norm: I still prefer to say that it's select with a special rule.
16:42:01 [Norm]
Alex: But that special rule is really hard to figure out.
16:42:39 [Norm]
Alex: Well, I suppose if the ancestor is in the results....
16:42:48 [Norm]
Richard: I've written numerous programs to do this and it always seems natural to have a match pattern and not recurse after you match.
16:43:07 [Norm]
Richard: Some programs have had to recurse, but that's not always a clear option. But for viewport, it's just impossible.
16:43:27 [Norm]
...Sometimes what you want in that case is to recurse on the output of the viewport.
16:43:42 [Norm]
...I suppose it could work the other way around, do the inner ones first and the move outward.
16:43:49 [Norm]
Norm: Let's not do that one.
16:44:20 [Norm]
Richard: Right, that's my point. Once you start to consider recursion, there are just too many options.
16:44:31 [Norm]
Henry: I think the core is, how is a bare name interpreted.
16:44:53 [Norm]
Straw poll: for viewport, do you prefer select semantics or match semantics.
16:45:01 [Norm]
zakim, who's on the phone?
16:45:01 [Zakim]
On the phone I see Norm, MoZ, Alex_Milowski, Ht, Alessandro, PGrosso, AndrewF, richard, Murray_Maloney, rlopes
16:46:29 [Norm]
Results: 4 select, 5 for match; Henry asserts Micheal would have voted match if he was still here.
16:46:46 [Norm]
Paul: If we're going to go with select on some things and match on others, they better be different attribute names.
16:47:24 [Norm]
Norm: anyone object to accepting as consensus that viewport will have match semantics.
16:47:24 [Norm]
None heard.
16:47:47 [Norm]
ACTION: Norm to update the draft to reflect the chosen semantics for selection on input, for-each, and viewport.
16:48:13 [Zakim]
16:48:19 [Zakim]
16:48:55 [rlopes]
Zakim, [IP is me
16:48:55 [Zakim]
+rlopes; got it
16:49:42 [Norm]
Henry: The interpretation is slightly different in the case of an input port on a parameter. Certain things are legal there that aren't legal elsewhere and the interpretation is different.
16:52:05 [ht]
concat('a', /foo)
16:54:01 [Norm]
Topic: Any other business
16:54:17 [Norm]
Norm: When do we publish another public draft?
16:55:22 [Norm]
Norm proposes December
16:55:41 [Norm]
Alex/Henry: Let's do it next Friday
16:56:48 [Norm]
Some discussion of when the publishing blackout period for the AC meeting begins
16:57:36 [Norm]
Proposal: new public working draft on 17 November
16:58:58 [Norm]
Norm wants to answer the declare-* or not question before 17 November, expects to devote next meeting to that.
16:59:13 [Norm]
No objections to a new public WD on 17 November.
16:59:37 [Zakim]
16:59:37 [Norm]
16:59:39 [Zakim]
16:59:40 [Zakim]
16:59:40 [Zakim]
16:59:41 [Zakim]
16:59:43 [Zakim]
16:59:43 [alexmilowski]
alexmilowski has left #xproc
16:59:44 [Zakim]
16:59:45 [Zakim]
16:59:47 [Zakim]
16:59:48 [Zakim]
16:59:50 [Zakim]
XML_PMWG()11:00AM has ended
16:59:51 [Zakim]
Attendees were Norm, [IPcaller], rlopes, MoZ, Alex_Milowski, Ht, Alessandro, PGrosso, msm, AndrewF, richard, Murray_Maloney
17:02:01 [PGrosso]
PGrosso has left #xproc
17:13:40 [MSM]
MSM has joined #xproc
17:47:34 [Norm]
rrsagent, make logs world-visible
17:47:39 [Norm]
rrsagent, draft minutes
17:47:39 [RRSAgent]
I have made the request to generate Norm
19:05:33 [Zakim]
Zakim has left #xproc
19:07:02 [MSM]
19:07:11 [Norm]
19:07:11 [MSM]
any chance of joining the QT ftf?
19:07:22 [Norm]
19:19:21 [Norm]
Norm has joined #xproc