定义:^类型,例如^integer.
例子:
tree:^list;
list:record
  data:integer;
  next:tree;
其实它的定义本身就是递归～～～～

三步：
1、new(work);
   i:=d;
head=work;
p=work
2.new(work)
z:=d
p^.next:=work
p:=work
3.writeln(p^.d)
p:=p^.next

２楼能做一下说明吗？

1楼实际上是定义链表的方法：
链表：就是含有2个或3个数据的线性表，其中倒数第2个是数据，剩下的是指针。

单链表的一个结点是这样的：

                 -------- --------
                |  data  |  next  | 
                 -------- --------
其中data是数据，next是指向后面一个结点的指针（最后一个结点的next是nil）
定义单链表的方法：
TYPE 
    list: ^poi;
    poi: RECORD
         dat: INTEGER;
         next: list;
    END;
定义双向链表的方法：
TYPE
    list: ^poi;
    poi: RECORD
         pre: list;
         dat: INTEGER;
         next: list;
    END;

同意

如:var p:^integer;new(p);
有两个很基本的问题要弄清楚:
1.p是指一个内存地址;
2.^p是指一个整数.