World: r3wp
[Core] Discuss core issues
older newer | first last |
Maxim 22-May-2009 [13829] | aaah yes... missed the input type ... sorry. |
Graham 26-May-2009 [13830x2] | any good reason apart from the fact that data is a block that this is not allowed? forskip data: [ 1 2 3 4 ] 2 [ ] |
but you have to do: data: [ 1 2 3 4 ] forskip data 2 [ ... ] | |
Maxim 26-May-2009 [13832x2] | cause the word is being used as the index. |
probably cause in the time frame of evaluation the set word happens after the forskip hits it. | |
Graham 26-May-2009 [13834] | Is that a good reason? :) |
Maxim 26-May-2009 [13835] | the assignment I mean. |
Izkata 27-May-2009 [13836] | USAGE: FORSKIP 'word skip-num body Yep, the set-word gets assign to word, the [1 2 3 4] gets assigned to skip-num, and 2 gets assigned to body, because of the lit-word argument in forskip |
Graham 27-May-2009 [13837x2] | Maybe this should be changed so that a default word is used instead ... |
if a lit-word is not supplied as an argument but a block | |
Izkata 27-May-2009 [13839] | Perhaps split the iteration word argument from the data argument, like 'foreach has? |
Graham 27-May-2009 [13840] | seems a reasonable suggestion. |
BrianH 27-May-2009 [13841x2] | FORALL and FORSKIP are faster than FOREACH in R3 because they don't have a local word that requires a BIND/copy of the code. |
You don't notice this in R2 because they're mezzanine and all of that overhead is greater, but it is noticable in R3 where they are native. | |
Dockimbel 27-May-2009 [13843] | Wouldn't it be more efficient to just BIND instead of BIND/copy body blocks in loops by default, and additionnally provide a /copy refinement in the (very) rare cases where you don't want the body block to be modified? Is it a design decision or did I missed some obvious reason? |
BrianH 27-May-2009 [13844] | You have to BIND/copy or *EACH would not be recursion-safe (or task-safe in R3). |
Dockimbel 27-May-2009 [13845] | I thought about the upcoming task! support but forgot about the "recursion" case. I might have wrote only 3 or 4 functions in 10 years of coding in REBOL that fall in that case (that's why in R2, it could have been no-copy by default). But tasking in R3 should make it more frequent I guess. |
BrianH 27-May-2009 [13846] | I guess I write more recursive code than you do :) |
Dockimbel 27-May-2009 [13847] | That's very possible, I use recursion only when the gain in code size or clarity looks obvious. Also, not having tail-call optimization doesn't push you much toward recursive approach in the general case. |
BrianH 27-May-2009 [13848] | I use it for building or processing recursive data structures - it's faster for that, tail-call-optimized or not. I only switch to iteration and hacks if the data blows the stack, which is rare. |
Dockimbel 27-May-2009 [13849] | The recursive calls limit used to be quite low (150-200 calls), has that limit been extended in recent 2.7.x versions? |
BrianH 27-May-2009 [13850] | I think so, but don't know. Haven't run into it so far, since I don't do recursive loops, just trees. |
Steeve 27-May-2009 [13851] | So you don't use recursive calls inside FOREACH loops... |
BrianH 27-May-2009 [13852] | Too restrictive. |
Dockimbel 27-May-2009 [13853] | I agree, using recursion for walking through hierarchical structures is a good approach as these structures usually have a depth limit far below the stack limit (e.g. parsing XML data) . In the last years, I've found that using block parsing for block! trees walking was probably the most efficient approach (code size and speed wise). |
Steeve 27-May-2009 [13854x2] | yep i use parse too, to do so. It doesn't need rerursives functions |
faster, One call with parse | |
BrianH 27-May-2009 [13856] | I prefer to use PARSE when I can, but recursion can be tricky if you use local variables. Not (always) impossible, but tricky. It's on the list to be fixed with the R3 parse proposals. |
Steeve 27-May-2009 [13857] | I know, i saw many implementations wich use recursive calls of parse (to deal with local var) in the past. But i don't like that. I saw it's slower most of the time than using recursive rules (well, it's the purpose of parse) |
BrianH 27-May-2009 [13858] | It's not always possible to refactor the parse rules to make the variable usage recursion-safe. Most of the time it is though. |
Steeve 27-May-2009 [13859] | even in that case, i prefer to code an emulated stack (using a block) |
BrianH 27-May-2009 [13860] | That can be slower than recursive calls to parse, depending, but at least you won't blow *that* stack. |
Steeve 27-May-2009 [13861] | There is another one advantage of using your own stack, you can break the process where you want and continue it later. Used to do incremental parsing (even with recursives rules). |
Dockimbel 27-May-2009 [13862] | I also use block! stacks to avoid local words issues in recursive parse rules. It would be interesting to benchmark the two approaches : (recursive functions) vs (recursive parse rules+custom stack). |
BrianH 27-May-2009 [13863x2] | Here's an example: Come up with a recursive-parse-rule version of the ARRAY function, including the function value calls. Compare. |
Wait, bad example. ARRAY is generative, so it is likely a bad candidate for PARSE. | |
Maxim 27-May-2009 [13865x2] | afaik the rebol stack goes a few thousand funcs before failing... but that depends on the amount of params you have on the functions, more args = more stack use. |
rebol stack limit: >> i: 0 a: func [][i: i + 1 a] a ** Internal Error: Stack overflow ** Where: a ** Near: i: i + 1 a >> i == 14265 | |
Dockimbel 27-May-2009 [13867] | REBOL/Core 2.5.0.3.1 >> i: 0 a: func [][i: i + 1 a] a ** Internal Error: Stack overflow ** Near: a >> i == 3151 |
Izkata 27-May-2009 [13868x2] | Rebol/View 2.7.6, 64-bit Ubuntu Hardy >> i: 0 a: func [][i: i + 1 a] a ** Internal Error: Stack overflow ** Where: a ** Near: i: i + 1 a >> i == 1705 |
1704 on /Core 2.7.6 on the same system | |
Maxim 27-May-2009 [13870x2] | wow this is pretty weird. |
I tested with rebview on windowsXP | |
Dockimbel 27-May-2009 [13872] | REBOL/Core 2.7.6.4.2 on 32-bit Ubuntu 7.10 >> i == 1705 |
Henrik 27-May-2009 [13873] | REBOL/Core 2.7.5.2.4 on MacOSX Leopard: >> i == 1334 |
Dockimbel 27-May-2009 [13874] | So WindowsXP is more recursion-friendly than Leopard...finally a good argument to not switch to MacOSX! ;-) |
Geomol 27-May-2009 [13875] | REBOL/Core 2.5.8.3.1 >> i == 3150 REBOL/View 2.7.6.3.1 >> i == 14265 Both on WinXP. |
Maxim 27-May-2009 [13876x2] | 1334 parameterless functions... that's not nearly enough for many algorythms! :-( this really has to be addressed in R3. |
its strange that view on XP has TEN times the amount of lowest target. | |
Steeve 27-May-2009 [13878] | because of the compiler option /Strange in GCC i guess |
older newer | first last |