Lisp: CHAR nie jest ani zadeklarowany, ani związany

Question

Postanowiłem nauczyć się (wspólnego) Lisp kilka dni temu i zdaję sobie sprawę, że jest to całkiem nowe pytanie i prawdopodobnie jest bardzo trywialne dla kogoś z przynajmniej odrobiną doświadczenia.

Więc w zasadzie to, co się dzieje, że ja załadować Emacs + Slime (poprzez Lisp in a Box) i napisać program (podane poniżej):

(defun last-char (s) "Get last character" 
     (char s (- (length s) 1))) 

A potem próbuję skompilować go z C - cM - k, ale potem pojawia się następujące ostrzeżenie:

CHAR jest ani deklarowany ani związana, będzie traktowana tak, jakby zostały uznane specjalnych.

Jakie jest znaczenie tego ostrzeżenia? Przypuszczam, że może to być coś podobnego do zapomnienia #include w C, ale nie mogę tego dokładnie rozgryźć. Co powinienem z tym zrobić? Czy mam to po prostu zignorować?

Answer 1

Ostrzeżenie oznacza, że ​​char nie jest rozpoznawany jako funkcja, ponieważ z jakiegoś powodu (zgłasza, że ​​symbol jest niezwiązany, nie ma wartości).

Może to mieć coś wspólnego z implementacją. Zabrakło mi swój kod za pomocą Cc Mk moim SBCL + Emacs/Slime (aw Clozure) i pojawia się następujący raport z kompilacji w SBCL:

; in: DEFUN LAST-CHAR 
;  (CHAR S (- (LENGTH S) 1)) 
; --> AREF 
; ==> 
; (SB-KERNEL:HAIRY-DATA-VECTOR-REF ARRAY SB-INT:INDEX) 
; 
; note: unable to 
; optimize 
; due to type uncertainty: 
; The first argument is a STRING, not a SIMPLE-STRING. 
; 
; note: unable to 
; avoid runtime dispatch on array element type 
; due to type uncertainty: 
; The first argument is a STRING, not a SIMPLE-ARRAY. 

Spróbuj wpisanie

#'char 

na REPL, odpowiedź powinna być to, że ocenia się funkcją,

CL-USER> #'char 
#<FUNCTION CHAR> 

ale może nie w swojej realizacji (zgaduję nie, biorąc pod uwagę ostrzeżenie kompilatora oraz fakt, że kod com stosy poprawnie w SBCL). Jeśli tak jest, to jest to moment, w którym twoja implementacja odbiega od specyfikacji Common Lisp ANSI, ponieważ ta funkcja powinna tam być.

Answer 2

Tylko uwaga dotycząca wcięcia. Oto bardziej konwencjonalne wcięcie:

(defun last-char (s) 
    "Get last character" 
    (char s (- (length s) 1)))