World: r3wp
[!REBOL3]
older newer | first last |
Steeve 20-Dec-2010 [6699x5] | But you know, We all are in the same trend, It will take a while before we loose old habits |
Today, I saw something horrific in an old script of mine. >> 8 * to-integer v1 + v2 / 8 | |
V1 and V2 are actually integers | |
(not related specificaly to R3) | |
I let you think about this coding horror ;-) | |
Kaj 20-Dec-2010 [6704] | Was that R1 semantics? ;-) |
Gregg 20-Dec-2010 [6705] | I wouldn't always use the IF version in place of EITHER. I generally prefer to be explicit. |
BrianH 20-Dec-2010 [6706] | We use that IF or UNLESS returning none trick a lot. It is used so much that it might as well be considered explicit. It is good to remember that REBOL doesn't have an optimizer; we have to optimize by hand, and the IF trick is faster than the explicit EITHER. |
Gregg 20-Dec-2010 [6707] | It is used so much that it might as well be considered explicit. As is my preference for avoiding premature optimization. ;-) |
BrianH 20-Dec-2010 [6708x5] | On that note: Steeve... |
>> a: [a 1] == [a 1] >> a/:b ** Script error: :b has no value >> select a 'b == none | |
It's the same thing as the SELECT object word trick. | |
Gregg, don't avoid optimization altogether in the name of avoiding "premature" optimization :) | |
A better aphorism to use here would be to avoid being "penny wise but pound foolish" - it makes your point better :) | |
Gregg 20-Dec-2010 [6713] | Agreed on optimization being required at times. Not loading lots of data? Yes. Using a hash instead of a block? Yes. I have even avoided the mezz loop constructs at times, though more often for clarity than performance. Maybe I'm a special case, but I have rarely found the need to optimize my REBOL code for performance at this level. And I can safely say I have never ever, ever optimized out EITHER for IF. Since you said it's used a lot, what code should I look at to see how and why? I'm always happy to see what I've been missing. |
BrianH 20-Dec-2010 [6714] | It's used in mezzanines, for instance. I tend to just write code in micro-optimized form in the first place, since it is easy to do and saves you the trouble of doing it later. Even if you are macro-optimizing the code (refactoring and such) you tend to use the same micro-optimizations in the new code. For that matter, many of the changes and enhancements in R3 were done to make micro-optimized code cleaner to read and write than they are in R2. But I mostly write library and mezzannine code nowadays, so micro-optimization has greater impact than it would for user-level code. |
Ladislav 20-Dec-2010 [6715] | Two notes: - I optimize for code size, using IF, or UNLESS - the average speed-up looks like being about 27%, though, which is worth considering |
BrianH 20-Dec-2010 [6716x2] | Interesting: That's the same speedup that referencing words from object contexts gives you, relative to function contexts. |
Agreed: Less code means less code to maintain and debug :) | |
Ladislav 20-Dec-2010 [6718] | I wonder, what is the purpose of the --- function, did not suceed to find that out. |
BrianH 20-Dec-2010 [6719] | >> same? :--- :comment == true |
Ladislav 20-Dec-2010 [6720x2] | aha, thanks |
I hope, though, that everyone will use the word COMMENT. | |
BrianH 20-Dec-2010 [6722] | I expect that Carl added it to be able to write more concise code. I prefer COMMENT too though. |
Gregg 20-Dec-2010 [6723] | I tend to just write code in micro-optimized form in the first place And do you consider that premature optimization, or not? |
BrianH 20-Dec-2010 [6724] | It is just as easy in theory to write the code in micro-optimized form as it is to not, so why not? In practice though, in R2 it is harder to write micro-optimized code (for various reasons). In R3 it is *easier* to write micro-optimized code than it is to not, because we have been deliberately been optimizing the language for just that effect for a couple years now. |
Maxim 20-Dec-2010 [6725] | in R2 I use none of the mezz loops(they really slow down code), now that they're all native, I have much more options in R3. |
BrianH 20-Dec-2010 [6726] | What's more, we have been working to make the behavior of the language much more consistent between datatypes, so it is now easier to make macro-optimizations like changing datatypes without needing to change the code that uses them. This is why the SELECT trick for objects works the same as it does for blocks, for instance. |
Kaj 20-Dec-2010 [6727] | Pity I can't use any of it, because I still need to run on Cheyenne |
BrianH 20-Dec-2010 [6728] | I ran into the same problem, which is why I made R2/Forward. |
Kaj 20-Dec-2010 [6729] | Yes, that helps |
BrianH 20-Dec-2010 [6730] | One side effect of "premature optimization" is that micro-optimized code patterns in the R3 mezzanines that looked bad or required explanation to Carl often led to improvements in the language to make those micro-optimizations unnecessary. Lots of ease-of-use improvements in R3 came about because of this. |
Kaj 20-Dec-2010 [6731] | I don't know if you can call that premature, after thirteen years :-) |
BrianH 20-Dec-2010 [6732] | In this case, I wrote most of those micro-optimizations in the last three years :) |
Kaj 20-Dec-2010 [6733] | I understand, but at the start of that, REBOL was a ten years old project, and a thirty years old design |
BrianH 20-Dec-2010 [6734x2] | Yes indeed. A lot of the improvements in R3 came from insight gained from many years of REBOL use. |
By many people in the community, not just the R3 team. | |
Gregg 21-Dec-2010 [6736] | It is just as easy in theory to write the code in micro-optimized form as it is to not, so why not? So that's a "Yes" to my question then? ;-) |
Steeve 21-Dec-2010 [6737x3] | >> a: [a 1] == [a 1] >> a/:b ** Script error: :b has no value >> select a 'b == none Brian, Are you kidding ? Could you avoid stupid code ? :-) >> a: [a 1] == [a 1] >> b: 'c == c >> a/c == none >> a/:b == none Exactly the same behavior than SELECT, not more not less. |
But I prefer the compact form, more readable IMHO. | |
Another old Idioms. first serie vs serie/1 I see that everywhere (even Ladislav use it too much ;-)) serie/1 is a lot faster though | |
Kaj 21-Dec-2010 [6740] | Carl used to advise it was slower. Was that so in R2? |
Steeve 21-Dec-2010 [6741x3] | It's true, path notation slower with R2, not anymore with R3 |
A/1 is 2 time faster than FIRST A, on my config. | |
Actually, first calls pick | |
Kaj 21-Dec-2010 [6744x2] | That's nice, I like that much better, and certainly more robust path evaluation |
It's highly annoying to have paths bomb out instead of return NONE | |
Steeve 21-Dec-2010 [6746] | We don't have that anymore since a while, both in R2 and R3. |
Kaj 21-Dec-2010 [6747] | >> b: [] == [] >> b/1 == none >> b/a ** Script Error: Invalid path value: a ** Near: b/a |
Steeve 21-Dec-2010 [6748] | Was talking about the first form only (with the index) |
older newer | first last |