🚀 go-pugleaf

In article <HEZ6WP9@xds13.ferranti.com> peter@ficc.ferranti.com (Peter da Silva) writes:
>In article <3716@skye.ed.ac.uk> jeff@aiai.UUCP (Jeff Dalton) writes:
>> Another sense, perhaps more relevant to the present discussion, is
>> that in Lisp & Scheme there's no way to get a pointer to the middle
>> of a structure.  You can't have a pointer to the cdr of a list...
>
>(setq a '(foo (bar baz)))
>(setq b (cdr a))
>(rplaca b 'bog)    
                   ~=  (setf (car b) 'bog)

If you look back at my whole message, and the others I've sent on this
topic, it should be clear what I meant.  Well, perhaps not.

What you can't do is:

  (setq a '(some list))
  (setq b (pointer-to (cdr a)))

    [Here, the value of b is not (list), but rather a pointer object
    that refers to the cdr field of the cons that was (and still is,
    so far) the value of a.  The value of the expression (reference-of
    b) is (list).]

  (setf (reference-of b) 'modified-list)

and then have a = (some modified-list).  If you think of a cons cell
as having two fields, what you can't have is a pointer to the second
field.  You can, of course, assign the contents of the second field
to a variable.  (Actually, you can do it in a sense, because you can 
implement pointer-to and reference-of using a structure that contains
set and reference thunks (for example).  What Lisp lacks is a 
primitive pointer facility that does this.)

Compare

   typedef struct cons_struct {struct cons_struct *car, *cdr} *cons;

   cons a, *b;

   a = make-list("(some list)");
   b = &a.cdr;
   *b = make-symbol("modified-list");

-- Jeff