Na•ve Reverse
The
valid rule set:
reverse([ ]) => [ ];
reverse([E | L]) => append(reverse(L), [E]);
reverse([ ]) => [ ];
reverse([E | L]) => append(reverse(L), [E]);
is called na•ve reverse:
lItŐs the first reverse coded
by the inexperienced.
lItŐs not tail recursive.
lItŐs slow: takes an extra factor of length(L) steps to evaluate.