простая задача на списки, fp Опции

[compiler]

Добрый день!
Надо довести до совершенство решение задачи, тема который для меня тёмный лес:
Написать программу, содержащую процедуру, которая меняет местами первый
и второй элементы не пустого списка.
Если элементы не найдены, то выдать на экран соответствующие сообщение.
задача уже решалась на форуме, однако хотелось бы увидеть оптимальное решение, учитывая возможности FP
моё решение

{$mode objfpc}
type
		data=^node;
		node=record i:integer; next:data; end;

function ch(var p:data):boolean;
var wp:data;
begin
		if p^.next<>nil then begin
				wp:=p^.next; p^.next:=wp^.next; wp^.next := p;
				p:=wp;
				ch:=true;
		end else
				ch:=false;
end;

procedure  print(const p:data);
var p0:data;
begin
		p0:=p;
		if (p0^.next<>nil) then begin
				repeat
						writeln(p0^.i); p0:=p0^.next;
				until (p0^.next=nil);
				writeln(p0^.i);
		end;
end;

procedure  init(var p:data);
var	 p0,p1:data;	 i:integer;
begin
		new(p);
		p^.next:=nil; p^.i:=0;
		p0:=p;
		readln(i);
		if i<>0 then begin
				p0^.i:=i;
				readln(i);
				while i<>0 do begin
						new(p1);
						p1^.i:=i; p1^.next:=nil;
						p0^.next:=p1;
						p0:=p1;
						readln(i);
				end;
		end;
end;

procedure free(p:data);
var	 p0:data;
begin
		repeat
				p0:=p^.next;
				dispose(p);
				p:=p0;
		until (p=nil);
end;

var
		sp:data;
begin
		init(sp);
		if ch(sp) then print(sp) else writeln('error');
		free(sp);
end.

заранее благодарен.

[volvo]

compiler, давай переменным "говорящие" имена. Иначе ты сам себя путаешь. Смотри, насколько все проще:

function replace1a5(var p:data):boolean;
var
  p_4, p_5, p_6: data;
  i: integer;
begin
  result:=true;

  p_4 := p; // Будем искать указатель на 4-ый элемент списка ...
  i := 1;
  while (i < 4) and result do
    if p_4^.next = nil then result := false
    else begin
      inc(i); p_4 := p_4^.next;
    end;

  if result then begin
    // если мы здесь - то список содержит как минимум 4 элемента,
    // и p_4 как раз указывает на 4-ый

    // Значит, запоминаем пятый
    p_5 := p_4^.next;

    // и если пятый - ненулевой, то запоминаем шестой
    if p_5 <> nil then
      p_6 := p_5^.next
    else begin
      // иначе - ошибка, пятый - нулевой, нечего менять
      result := false; exit;
    end;

    // собственно, сами замены - тут все прозрачно, разберешься я думаю...
    p_4^.next := p;
    p_5^.next := p^.next;
    p^.next := p_6;
    p := p_5;
  end;

end;

Чертишь на листочке бумаги список, связи между элементами, и смотришь, что с чем надо поменять чтобы новый порядок элементов в списке был таким, какой тебе нужен...