World: r3wp
[Parse] Discussion of PARSE dialect
older newer | first last |
Steeve 28-Jun-2007 [2070] | but what if i have 10 rules to complete ? |
Gabriele 28-Jun-2007 [2071x2] | that is, two pairs is not an error, the parser just ignores one. if vid errored out it would be worse. |
you make a function that taken a list of rules generates all the permutations. | |
Steeve 28-Jun-2007 [2073x3] | ok, it was a bas example |
*bad | |
yes Gabriele, it's what i do currently | |
Chris 28-Jun-2007 [2076] | Not bad, we're just forgiving here : ) |
Steeve 28-Jun-2007 [2077] | but it's uggly |
Gabriele 28-Jun-2007 [2078] | i don't see any better approach, because you are parsing for the permutations. |
Steeve 28-Jun-2007 [2079] | and it's become huge if i have lot of rules to combinate |
Gabriele 28-Jun-2007 [2080x2] | if you use the above approach (second example i wrote) it is reasonably fast. |
otherwise, you need self-modifying rules, or use flags. | |
Steeve 28-Jun-2007 [2082x2] | yes we talked about other solutions |
but i have just posted here because i thought it will be a good improvment to have a new word in parse dialect | |
Gabriele 28-Jun-2007 [2084] | the point is, this has just been asked once in 7 years, so not sure how common ;) |
Steeve 28-Jun-2007 [2085] | but my problem is not so common, it seems... |
Chris 28-Jun-2007 [2086x2] | I haven't asked, but I have come across this too. |
The workarounds do seem a little unwieldy, but I'm not sure what the complexity in the proposed 'all keyword would be... | |
Gabriele 28-Jun-2007 [2088] | internally it would probably have to check flags or do the permutations on the fly. |
Ladislav 28-Jun-2007 [2089] | this is possible, but my guess, that Steeve would call it ugly too: >> once-only: func [rule] [use [rule'] copy/deep [rule': :rule [rule' (rule': [end skip])]] ] >> rule: [(a': once-only a b': once-only b c': once-only c) 3 [a' | b' | c']] == [(a': once-only a b': once-only b c': once-only c) 3 [a' | b' | c']] |
Geomol 28-Jun-2007 [2090x3] | Ladislav, that's not ugly, it's beautiful! :-) I have a question though. Do you need the skip at the end of once-only? Wouldn't it work just with rule': [end] |
To do block parsing, I suggest: >> once-only: func [:rule] [use [rule'] copy/deep [rule': :rule [rule' (rule': [end])]]] >> rule: [(a': once-only 'a b': once-only 'b c': once-only 'c) 3 [a' | b' | c']] >> parse [c b a] rule == true | |
hmm, the block parsing give wrong result, if there are less than 3 values to parse. | |
Ladislav 28-Jun-2007 [2093] | John: [end skip] is a rule that surely fails, while [end] may succeed (at end) |
Geomol 28-Jun-2007 [2094] | I see. That's also why my block parsing give false result with less input. So for block-parsing, it should be: >> once-only: func [:rule] [use [rule'] copy/deep [rule': :rule [rule' (rule': [end skip])]]] |
Ladislav 28-Jun-2007 [2095x2] | why, my rule should be usable as-is even for block parsing? |
(I don't like fetched arguments) | |
Geomol 28-Jun-2007 [2097] | >> once-only: func [rule] [use [rule'] copy/deep [rule': :rule [rule' (rule': [end skip])]]] >> rule: [(a': once-only 'a b': once-only 'b c': once-only 'c) 3 [a' | b' | c']] >> parse [a b c] rule ** Script Error: Invalid argument: a |
Ladislav 28-Jun-2007 [2098] | in that case you can use either: a': once-only first ['a] or a': once-only ['a] |
Geomol 28-Jun-2007 [2099] | Yup, works. Nice! :-) |
Steeve 28-Jun-2007 [2100x2] | Once (again) Rebol is amazing, i think i found a simple and elegant dialect Currently, it's not allowing recursive once usage, but it's obvious to do with a stack. take: func [r] [n: 0 once/1: (length? r) + 1 / 3 once/2/2: r replace/all r '.. '.] .: [(n: n + 1)] ..: [(n: n + 1) end skip] once: [0 [(if n > 0 [poke once/2/2 n - 1 * 3 + 1 '..] n: 0) []]] rule: [. "a" | . "b" | . "c"] parse "CBA" [ (take rule) once] == true parse "BAC" [ (take rule) once] == true parse "CBA" [ (take rule) once] == true parse "BBC" [ (take rule) once] == true parse "CA" [ (take rule) once] == false parse "CABA"[ (take rule) once] == false rule2: [. "a" | . "a" | . "b" | . "c"] parse "CABA"[ (take rule2) once] == true |
(correction) >>parse "BBC" [(take rule) once] == false | |
Anton 28-Jun-2007 [2102x2] | gnarly |
:) | |
Steeve 28-Jun-2007 [2104x2] | gnarly ? |
ok, http://www.urbandictionary.com/define.php?term=gnarly | |
Tomc 28-Jun-2007 [2106x2] | data: "cab" >> c: charset "abc" parse data [3 c] == true |
? | |
Steeve 28-Jun-2007 [2108x2] | >>>parse "ccc" [3 c] ==true |
we want any combination of "ABC" | |
Tomc 28-Jun-2007 [2110] | without repeats |
Steeve 28-Jun-2007 [2111x2] | yep |
and that works for any type of sub-rule, no only for constants | |
Tomc 28-Jun-2007 [2113x2] | one shot concept |
>> data: "abc" == "abc" >> c: charset "abc" parse data [3 [here: c (c: difference c to bitset! first :here)]] == true >> data: "ccc" == "ccc" >> c: charset "abc" parse data [3 [here: c (c: difference c to bitset! first :here)]] == false >> | |
Steeve 28-Jun-2007 [2115] | hehe, doen't work if i check for any combinations of "AABC" |
Tomc 28-Jun-2007 [2116] | I should read the thread when I have a few minutes |
Steeve 28-Jun-2007 [2117] | yes you should |
Tomc 28-Jun-2007 [2118] | but I will amuses myself as I please in the meanwhile. |
Steeve 28-Jun-2007 [2119] | huhu |
older newer | first last |