in reply to Re^2: Why doesn't perl optimize this?
in thread Why doesn't perl optimize this?
All tasks are simple ... if you're not the one doing the work. Sure, there's enough information for perl to do the optimization you suggest. In fact, there may be enough information for it to simplify the code to:
say time; say time; say time;
However, code optimization is harder than it looks[1]. Notice that both say and time are calls to other code, which could possibly change @a. Not in this case, obviously[3][5][6], but for perl to know that a priori, it would have to track whether or not @a was possibly aliased to another glob. Using static analysis, that could be determined, except that perl has features that may make static analysis intractable or impossible.
Disclaimer: I know nothing substantial about the internals of perl. I wrote a compiler some years ago, and spent a little (very little) time trying to put in some optimization. It was shortly after reading the Dragon book[2] . When you read the book and start imagining the data structures and algorithms you need to build it gives you a good appreciation of the problem.
It's easy to go down rabbit-holes, too. How much time should it work on optimizing the code? If there are easy optimizations with big payoffs, then it's a no brainer. But after a while, you'll start running into diminishing returns. If you spend too much time on the optimization phase, then you can lose more time than you save.
Notes;
- If it were easy, the code we write wouldn't need optimization, would it?
- The first edition, as the second didn't exist yet. It's a fascinating read, you should pick it up if you're interested in language construction and/or design!
- To us humans[4], anyway.
- Yes, the phrasing might be odd, considering my moniker.
- I don't really feel like renumbering these notes.
- I was wondering whether superscripts would stack, now I know.
- With silly notes...
...roboticus
When you don't get enough sleep for an extended period of time, your posts can come off as a bunch of stream-of-consciousness blather[7].
|
|---|