Common Lisp: pierwsza zwraca najpierw, ale ostatnia zwraca listę ostatnich - huh?

Question

Nie dostaję tej pierwszej/ostatniej rzeczy w Common-Lisp. Tak, widzę, jak to działa, ale nie rozumiem DLACZEGO działa w ten sposób.

Zasadniczo, aby uzyskać pierwszy element na liście, mogę użyć (first mylist). Jednakże, jeśli chcę ostatni przedmiot, (last mylist) nie daje mi tego; zamiast tego daje mi listę zawierającą ostatni element na mojej liście!

(Używam Clozure-CL, który ma kilka innych dziwactw, które wydają mi się błędami, ale ponieważ jestem Lisp-n00b, staram się nie wpaść na starego "tłumacza jest „trick :))

Tak więc, na przykład złamana!

? (setq x '((1 2) (a b))) 
=> ((1 2) (A B)) 

? (first x) 
=> (1 2) ; as expected 

? (last x) 
=> ((A B)) ; why a list with my answer in it?! 

? (first (last x)) 
=> '(A B) ; This is the answer I'd expect from plain-old (last x) 

Czy ktoś może mi pomóc zrozumieć, dlaczego ten ostatni robi? Czy używam tych elementów nieprawidłowo? Czy naprawdę dziwna kula to first ?!

Dzięki!

Answer 1

W Common Lisp last ma zwrócić listę, z documentation:

last list &optional n => tail 
list---a list, which might be a dotted list but must not be a circular list. 
n---a non-negative integer. The default is 1. 
tail---an object. 

ostatnie Zwraca ostatni n Wagoniki (nie ostatni elementy n) listy. Jeśli lista to(), ostatni zwraca().

Na przykład:

(setq x (list 'a 'b 'c 'd)) 
(last x) => (d) 

I tak, jest to sprzeczne z intuicją. W innych smakach Lisp to działa, jak sama nazwa wskazuje, na przykład w Racket (dialekt Scheme): funkcja misnamed

(define x '((1 2) (a b))) 
(first x) => '(1 2) 
(last x) => '(a b) 

(define x (list 'a 'b 'c 'd)) 
(last x) => 'd 

Answer 2

Common Lisp jest last daje ostatnie minusy.

To prawdopodobnie powinno być nazywane tail, ponieważ istnieje funkcja tailp, ale domyślam się, że ta nazwa utknęła z powodów historycznych/kompatybilności.

Generalnie daje nth ogon listy lub uruchamianych n minusy przed końcem listy.

Answer 3

Tak to właśnie wygląda. first i last nie są uzupełniającą parą operacji. last jest bardziej powiązany z rest i nthcdr. Istnieje również butlast, który tworzy nową listę, która pomija ostatni element z podanej listy.

first kontra last jest niczym w porównaniu do tego, jak get i getf nie mają nic wspólnego z set i setf.

Answer 4

Zwrócenie ostatniego elementu nie jest zbyt użyteczne, z wyjątkiem dostępu do ostatniego elementu; powrocie ostatnie minusy pozwala zrobić coś takiego:

(let ((x (list 1 2 3))) 
    (setf (cdr (last x)) '(4)) 
    x) 

=> '(1 2 3 4) 

natomiast nadal można uzyskać dostęp do ostatniego elementu jako (car (last x)).