Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]

Groups > comp.lang.python > #10768

Re: Early binding as an option

Show key headers only | View raw

On Tue, Aug 2, 2011 at 9:23 PM, Terry Reedy <tjreedy@udel.edu> wrote:
> On 8/2/2011 12:55 PM, Chris Angelico wrote:
>>
>> As I understand it, Python exclusively late-binds names; when you
>> define a function, nothing is ever pre-bound.
>
> By 'pre-bound' you presumably mean bound at definition time rather than call
> time. Default arg objects *are* pre-computed and pre-bound to internal slots
> at definition time.

Of course; that's a different issue altogether. No, I'm talking about
the way a tight loop will involve repeated lookups for the same name.

Unfortunately, there is no way - by definition - to guarantee that a
binding won't change. Even in the example of getting the lengths of
lines in a file, it's entirely possible for __len__ to rebind the
global name "len" - so you can't rely on the repeated callings of
len() to be calling the same function.

But who WOULD do that? It's somewhat ridiculous to consider, and
there's a huge amount of code out there that does these repeated calls
and does not do stupid rebindings in the middle. So Python permits
crazy behaviour at the cost of the performance of normal behaviour.

With the local-variable-snapshot technique ("len = len"), can anything
be optimized, since the parser can guarantee that nothing ever
reassigns to it? If not, perhaps this would be a place where something
might be implemented:

@const(len,max) # maybe this
def maxline(f):
   @const len,max # or this
   n = 0
   for line in somefile:
       n = max(n,len(line))
   return n

Some notation like this could tell the interpreter, "I don't expect
'len' or 'max' to be rebound during the execution of this function.
You're free to produce wrong results if either is."

So... Would this potentially produce wrong results? Would it be of any
use, or would its benefit be only valued in times when the whole
function needs to be redone in C?

Chris Angelico

Back to comp.lang.python | Previous | Next — Next in thread | Find similar | Unroll thread

Thread

Re: Early binding as an option Chris Angelico <rosuav@gmail.com> - 2011-08-02 23:08 +0100
  Re: Early binding as an option Steven D'Aprano <steve+comp.lang.python@pearwood.info> - 2011-08-03 20:16 +1000
    Re: Early binding as an option Chris Angelico <rosuav@gmail.com> - 2011-08-03 12:04 +0100
      Re: Early binding as an option Steven D'Aprano <steve+comp.lang.python@pearwood.info> - 2011-08-04 05:51 +1000
        Re: Early binding as an option Chris Angelico <rosuav@gmail.com> - 2011-08-03 23:24 +0100
        Re: Early binding as an option Chris Torek <nospam@torek.net> - 2011-08-04 19:49 +0000
      Re: Early binding as an option Alain Ketterlin <alain@dpt-info.u-strasbg.fr> - 2011-08-03 22:16 +0200

csiph-web