* Stephen Hansen:
On Mon, Feb 8, 2010 at 8:01 PM, Alf P. Steinbach <al...@start.no <mailto:al...@start.no>> wrote:

    * Stephen Hansen -> Alf P. Steinbach:


        [snip]

        To say, "pass by value" implies things to people. It describes a
        sort of world where I'm a function about to do some work, and on
        my desk I have a series of boxes with names on it. It describes
        an environment where someone comes over and drops something into
        each of my boxes. The contents of these boxes are mine alone!


    Then, when the imprecision makes people misunderstand, one should
    not say that.

    One should then be more precise.

    One should say /what/ is passed by value.


No.

One should not use the phrase that is fundamentally imprecise.

The phrase "pass by value" means something different then the phrase "pass by object" aka "pass by sharing". They are in many cases very similar. They are not the same.

Right.

"pass by value" is a lower level notion.

And as you show below, in the paragraph marked [1], it can be used to describe call by sharing very succinctly and precisely, just as I did... ;-)


Using it is simply wrong. There is really no legitimate argument you can make otherwise: even in languages where call-by-value IS the norm, the phrase is imprecise enough to confuse people, as the semantics of what call-by-value mean to a language vary. But those semantics do NOT apply to Python.

In a way that's right, but only at the level of abstraction of pass by sharing.

At that level it's wrong to say that pass by sharing is pass by value (as they reportedly do over in Java-land), just as, at that level, it's wrong to say that pass by reference is pass by value notwithstanding that some kind of value must be copied in the internal implementation.

Describing pass by sharing in terms of pass by value is however very simple and legitimate, involving a higher level described in terms of a lower level -- as you illustrate right below: <g>


    [snip]
        I know you already know this, but the point is: you're -hurting-
        other peoples understanding by using terms like this that don't
        apply to Python's specific nature.
    The terms apply very well to Java. And Java has the identical
    parameter passing mechanism for class type objects. Hence, the
    argument is bogus.


[1] Java uses silly terminology; and that it chooses to use silly terminology in no way impacts the validity of the argument. Java isn't an authority. Python's been around longer! And the specific behavior here, "call by value where the value is an object reference" was named "call by sharing" back in the 1970's by Liskov.

Yep.

As you write, "call by sharing" can be described as "call by value where the value is an object reference".

Althuogh I'd rather use "where the value is an object pointer", because the word "pointer" already denotes a copyable value so doesn't make the head spin...


Java isn't call-by-value (for objects) either, even if that phrase is common in the Java community.

Right, and here the parenthesis (for objects) establishes which abstraction 
level.


C is call-by-value. VB is, I believe, call-by-value -- though I may be wrong here, as I only sort of blinked at VB a long, long time ago.

Full VB supports both call by sharing and call by reference.


Its distinct. Its different. Its neither call-by-value, nor call-by-reference. The /value/ of a thing is NOT its identity. Its the /state/ of that thing.

Talking about a reference value (a.k.a. pointer), as you do earlier above in [1], does not mean that one is talking about a Python object value.

So essentially the paragraph immediately above seems to be a confusion based on multiple meanings of "value", unless it's just a description of Python objects?


By your argument, call-by-reference is call-by-value too! Because you're passing "a value" -- but you're -always- going to pass some piece of data, otherwise you're not actually passing anything.

No, whatever you think my argument is (no quote, so I'm left in the dark about that assumption) here you're back to confusing levels of abstraction again.

Call by reference is necessarily, at some level, implemented in terms of call by value.

That doesn't make call by reference the same as call by value, not more than the human body is one giant molecule just because it consists of molecules.


The /by value/ vs /by reference/ vs /by sharing/ is not about "is a value being passed", in all cases, "a value" is. By Value means a copy of the thing is made. By Reference means you're accessing the callers variable directly. By Sharing means you're both sharing the same object.

Yes, violent agreement.


    PS: I cannot see any of your postings on Usenet. So I just sort of
    grabbed this from GMane and posted to Usenet. Hopefully you'll see
    it back at the list. :-)


I've heard that before, and have no idea why, nor any real interest in solving it: I don't want to read cpl via Usenet, and prefer to read it as a mailing list. Somewhere between Gmail->python.org->python.org <http://python.org>'s usenet server->the world, some people don't seem to get my posts. Yet it shows up on some news servers, not others.

No idea. Nothing I know of can solve it.

Not sure, but perhaps it's possible to mail directly to gmane?


Cheers & hth.,

- Alf
--
http://mail.python.org/mailman/listinfo/python-list

Reply via email to