World: r3wp
[Parse] Discussion of PARSE dialect
older newer | first last |
Graham 4-Nov-2008 [2701] | Are the { } required ? |
PeterWood 4-Nov-2008 [2702x3] | If it's not fast enough you can speed it up by adding a rule to consume the unwanted parts. |
I think so because of the "soapenc:string" | |
gxs is a string of your xml listed above. | |
Graham 4-Nov-2008 [2705] | I guess it avoids all the other stuff I was doing to force it to rebol blocks to allow block parsing :) |
Gregg 4-Nov-2008 [2706] | I pasted your code here, which loads the block. I guess the XML parser produces the output with those values as words. |
Tomc 5-Nov-2008 [2707x2] | foreach item load/markup xml [if not tag? item[ print item]] |
not parse and not pretty but you get the idea | |
Graham 5-Nov-2008 [2709] | rebelxml works well for most things ..not just the ones where the namespace is in the tag name |
Pekr 5-Nov-2008 [2710] | http://www.rebol.net/r3blogs/0155.html- if you want some improvements to parse, now is the time to ask for them ... |
BrianH 5-Nov-2008 [2711x3] | We've hammered out some proposals so far, but we are really interested in more ideas, especially if we can make them fit. |
So far we have been accepting proposals in these categories: - Recognition: LIT, NOT, OF, TO and THRU extensions - Modification: CHANGE, INSERT, REMOVE - Structural and control flow: FAIL (may not be the final name), USE, CHECK (still debate here), REVERSE There is still some debate even within these proposals (name of FAIL for example) and some of them might not make it. Some of the old PARSE REPs have been definitively rejected or changed, and some are still under debate and won't make it in without a lot more thought. | |
These changes to PARSE are another example of changes to the R3 core happening as a side effect of the new GUI work :) | |
Anton 5-Nov-2008 [2714x2] | Lots of good suggestions. I've just re-read Gabriele's Parse REP and the ParseProject DocBase article. |
CHECK's meaning is like "continue if ...". | |
BrianH 5-Nov-2008 [2716x2] | Yup. We've been working on the Parse Project article a lot today. The last 2 things from the REP that might make it are the THROW and INTO-STRING proposals, though both will need some changes first. The rest are covered or rejected. |
Peter Wood's RETURN proposal is really interesting. I have been thinking about how to make a variant of it work. | |
Anton 5-Nov-2008 [2718x2] | I'd like to understand Peter Wood's START command a bit better. It's not clear to me from the example why it's needed. (or even how the example works..) |
Peter's example, from the blog: parse [a b c d] [ any [ start (acc: 0) | set inc integer! (acc: acc + inc) | end ] ] | |
BrianH 5-Nov-2008 [2720] | It isn't needed. It's basically the same as if the paren was included on its own, but not in the alternation. |
Anton 5-Nov-2008 [2721] | That's what I thought. But Peter must have thought it was useful for something. |
BrianH 5-Nov-2008 [2722] | Here's a working version of that example: parse [1 2 3 4] [ (acc: 0) any [set inc integer! (acc: acc + inc)] ] |
Anton 5-Nov-2008 [2723] | I thought maybe the start code is only done when one of the other alternates is (about to be) matched. |
BrianH 5-Nov-2008 [2724] | Perhaps he thought a paren could only follow a rule. |
Anton 5-Nov-2008 [2725] | We should wait for Peter's input on that. |
BrianH 5-Nov-2008 [2726] | I like the RETURN proposal as this: RETURN rule Match the rule and return a copy of the value from the PARSE function. Like COPY then BREAK, but without the temporary variable. |
Pekr 5-Nov-2008 [2727] | BrianH: I posted link to Ladislav's Core proposals. There's parse section in there too. You can look at r3-alpha parse group ..... |
BrianH 5-Nov-2008 [2728] | Theye are already covered by the existing proposals. |
Anton 5-Nov-2008 [2729x2] | I vaguely remember suggesting PARSE dialect be extended into parens with a few commands. Parens are executed as normal rebol dialect (not parse dialected in any way). If I remember correctly, it was thought better to keep the parens 'pure' rebol. If that is to be maintained, then I think Peter's RETURN command ought to be morphed into a parse command, as you suggest above, Brian. |
-- ie. that's a good idea. | |
BrianH 5-Nov-2008 [2731x2] | PARSE actually calls DO for those blocks. |
blocks -> parens | |
Anton 5-Nov-2008 [2733] | Right - so doing an extra bind may slow things down. |
BrianH 5-Nov-2008 [2734] | More importantly it will override the meaning of the RETURN function at a point where you would expect it to work. |
PeterWood 5-Nov-2008 [2735] | Clearly my proposal for START is based on my ignorance and inability to search the documents properly :-) It wouldn't hurt as a form of slef-documenting code, though. |
BrianH 5-Nov-2008 [2736] | Actually, I think it would hurt (no offence). The word start is a common name for parse rules and every keyword we add can't be used as a parse rule name. Something to consider when making proposals. |
Anton 5-Nov-2008 [2737] | Gabriele's DO command is interesting. I wonder why it could not become more "functional" and be used after the SET command, eg: SET result DO integer! |
BrianH 5-Nov-2008 [2738] | That DO proposal was the first one to be rejected. It will take some serious problems with dialecting to get it included. |
Anton 5-Nov-2008 [2739] | Perhaps, Peter, you could post a withdrawl for START on the blog. |
Chris 5-Nov-2008 [2740x2] | Re. 'start - could use 'head for the same purpose, it's consistent too with the series accessors... |
Other side of the coin, if 'end is a keyword, 'start is an intuitive companion. | |
BrianH 5-Nov-2008 [2742] | HEAD would be a better name for a directive to reset the position to the beginning of the data. That behavior would be more consistent with the series accessors :) |
Chris 5-Nov-2008 [2743] | 'head? |
BrianH 5-Nov-2008 [2744] | Are you checking whether the position is at the beginning of the series? |
Chris 5-Nov-2008 [2745x2] | Yep. |
That's my interpretation of the 'start proposal. | |
BrianH 5-Nov-2008 [2747] | It was an initialization proposal. Nonetheless, your HEAD? proposal sounds interesting. What problem are you solving that would need such a directive? |
Anton 5-Nov-2008 [2748] | Hmmm... I don't see why it's *necessary*. It doesn't add any functionality - it just bulks up the parse dialect with an extra keyword. |
BrianH 5-Nov-2008 [2749] | At the beginning of the rule you are already at the head of the series, unless the data was already offset. Would you need HEAD? in the middle of the rule to determine if anything was matched already? |
Chris 5-Nov-2008 [2750] | I was just commenting on word usage per the above examples... |
older newer | first last |