🚀 go-pugleaf

In response to this note:
>/* ---------- "swap(x,y) in Algol 60" ---------- */
>I have seen a folk theorem that it is impossible to define swap(x,y) in
>Algol, where swap is supposed to be a procedure with two call-by-name integer
>arguments which exchanges their values.  It's not exactly clear what the
>statement of the theorem should be when (say) x and y have side effects.
>
>I've asked around MIT and some at Cornell, and nobody seems to have a
>reference to the statement or proof.  Anyone remember where this came from?
>
>Thanks,
>  Bard Bloom

The easiest example is:

     swap(a[i], i);

The issue is that Algol's call-by-name mechanism would require that
if you change the value of "i" then you are referencing a different
element of the array "a".

Stan Zaborowski
------------------------------------------------------------------------
|  The above opinions are mine, mine alone, and no one else's but mine.|
|No clear thinking, Right-Wing, Libertarian would ever hold the same   |
|opinions as anyone else; unless, of course, you would like to make it |
|worth my while . . .                                                  |
------------------------------------------------------------------------
| I am the NRA.   That should make      |         This space           |
| you feel better.                      |         for rent             |
------------------------------------------------------------------------