Path: ...!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail From: Keith Thompson Newsgroups: comp.lang.c Subject: Re: technology discussion =?utf-8?Q?=E2=86=92?= does the world need a "new" C ? Date: Sun, 01 Sep 2024 19:01:40 -0700 Organization: None to speak of Lines: 81 Message-ID: <87h6ay3jaz.fsf@nosuchdomain.example.com> References: <871q42qy33.fsf@bsb.me.uk> <87ed82p28y.fsf@bsb.me.uk> <87r0c1nzjj.fsf@bsb.me.uk> <87ikxconq4.fsf@bsb.me.uk> <20240711115418.00001cdf@yahoo.com> <20240712045301.394@kylheku.com> <87sewesg89.fsf@nosuchdomain.example.com> <865xresvxz.fsf@linuxsc.com> MIME-Version: 1.0 Content-Type: text/plain Injection-Date: Mon, 02 Sep 2024 04:01:41 +0200 (CEST) Injection-Info: dont-email.me; posting-host="e878b05a980aab3c80c59cc3c3d4092e"; logging-data="1913280"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX198KQ/AePM3O7vx8tq3ZJUN" User-Agent: Gnus/5.13 (Gnus v5.13) Cancel-Lock: sha1:CPX4O8/pc4FoR64Gd+ZTCzC/dy0= sha1:ligCgoh2nDdS9sS4uL7BMVSJSZ0= Bytes: 5336 Tim Rentsch writes: > Keith Thompson writes: >> Kaz Kylheku <643-408-1753@kylheku.com> writes: >>> On 2024-07-12, bart wrote: >>>> It's clearly not by value. It's apparently not by reference. You >>>> can't get away with saying they are not passed, as clearly >>>> functions *can* access array data via parameters. >>> >>> Actually, you probably can get away with saying that it is "passed >>> by reference". >>> >>> The formal term that doesn't apply is "call by reference"; that's >>> what C doesn't have. >>> >>> "call by reference" emphasizes that the function call mechanism >>> provides the reference semantics for a formal parameter, not that >>> some arbitrary means of passage of the data has reference >>> semantics. >> >> [...] >> >> I know that "call by reference" is the usual formal term, but I >> personally prefer "pass by reference". >> >> The terms "call by reference" and "call by value" emphasize the >> call, implying that all arguments in a given call are passed with >> the same mechanism. In some languages that's true (C argument >> passing is purely by value, and Fortran, as I understand it, is >> purely by reference), but in others (C++, Pascal, Ada) you can >> select by-value or by-reference for each parameter. "Pass by >> (reference|value)" feels more precise. >> >> I haven't checked, but I suspect the terms "call by (reference|value)" >> predate languages that allowed the mechanism to be specified for each >> parameter. > > I suspect that your guess here is influenced more by what you would > like to be true than what is likely to be true. I was influenced by what I thought made the most sense. > What is likely to be true is that these terms entered the language > at essentially the same time as the original Algol. Algol 60 has > both call by name and call by value, referred to by those names in > the Algol 60 Report, and selectable on a per-parameter basis. > > By contrast the precursor to Algol 60, the International Algebraic > Language or IAL for short (and referred to after the fact as Algol > 58) did not use either term, and described the coupling between > arguments and parameters only in somewhat vague English prose that > left unclear exactly what the binding mechanism(s) were to be. > (There was a description for functions and a separate description > for procedures, not quite the same, and both not completely clear > exactly what the mechanism was meant to be.) > > Thus it seems likely that the terms call by name, call by value, > and perhaps other similar terms, first arose during the discussions > of the Algol 60 working group in the late 1950s, and entered the > general lexicon with or perhaps slightly before the publication of > the Algol 60 Report, which describes and allows both call by name > and call by value, selectable on a per-parameter base, and referred > to by those names in the published Algol 60 Report. Yes, that does seem likely. I'm mildly disappointed. Since arguments are *passed* and functions/procedures are *called*, surely it would have made more sense to use "pass by value" rather than "call by value", especially in a language where the mechanism can vary per parameter. (Yes, this is my opinion.) If there's some reason why "call by value" actually made more sense than "pass by value", I'm not aware of it. Since the phrase "pass by value" is now in common use, I'll continue to use that term in preference to "call by value" (likewise "by reference"). -- Keith Thompson (The_Other_Keith) Keith.S.Thompson+u@gmail.com void Void(void) { Void(); } /* The recursive call of the void */