Я прочитал много хороших вещей о Земля Lisp, поэтому я подумал, что Я мог бы пройти через это, чтобы посмотреть, что там можно увидеть.
(defun tweak-text (lst caps lit)
(when lst
(let ((item (car lst))
(rest (cdr lst)))
(cond
; If item = space, then call recursively starting with ret
; Then, prepend the space on to the result.
((eq item #\space) (cons item (tweak-text rest caps lit)))
; if the item is an exclamation point. Make sure that the
; next non-space is capitalized.
((member item '(#\! #\? #\.)) (cons item (tweak-text rest t lit)))
; if item = " then toggle whether we are in literal mode
((eq item #\") (tweak-text rest caps (not lit)))
; if literal mode, just add the item as is and continue
(lit (cons item (tweak-text rest nil lit)))
; if either caps or literal mode = true capitalize it?
((or caps lit) (cons (char-upcase item) (tweak-text rest nil lit)))
; otherwise lower-case it.
(t (cons (char-downcase item) (tweak-text rest nil nil)))))))
(комментарии мои)
(FYI - подпись метода (list-of-symbols bool-whether-to-caps bool-whether-to-treat-literally), но автор сократил их до (lst caps lit).)
Но в любом случае, вот вопрос:
В нем есть (cond... (lit ...) ((or caps lit) ...)). Мое понимание заключается в том, что это будет означать if(lit){ ... } else if(caps || lit){...} в синтаксисе стиля C. Разве это не утверждение? Есть ли когда-либо условие, когда условие (or caps lit) будет вызываться, если cap nil?
Действительно, вы правы. См. errata для книги.
Page 97: функция tweak-text имеет два сбоя, хотя в большинстве реализаций Lisp она будет работать нормально. Прежде всего, он использует функцию eq для сравнения символов. Символы всегда должны проверяться с помощью других функций, таких как eql или char -equal в соответствии со спецификацией ANSI. Кроме того, существует ненужная проверка (или крышки), которые могут быть упрощены до колпачков.
Я бы написал, что как:
(defun tweak-text (list caps lit)
(when list
(destructuring-bind (item . rest) list
(case item
((#\space) (cons item (tweak-text rest caps lit)))
((#\! #\? #\.) (cons item (tweak-text rest t lit)))
((#\") (tweak-text rest caps (not lit)))
(otherwise (cond (lit (cons item (tweak-text rest nil lit)))
(caps (cons (char-upcase item)
(tweak-text rest nil lit)))
(t (cons (char-downcase item)
(tweak-text rest nil nil)))))))))
Оператор CASE отправляет на символ. Затем оператор COND выполняет другие условия. CASE сравнивается с EQL. Это означает, что CASE работает также для символов и даже может сравнивать с несколькими элементами. Я также являюсь поклонником стиля макета кода, который выстраивает соответствующие выражения - это полезно только для моноширинных шрифтов. Это помогает мне визуально определять шаблоны в коде и помогает обнаруживать код, который можно упростить.
DESTRUCTURING-BIND разделяет список.
Для удовольствия, переписанный с использованием LOOP:
(defun tweak-text (list)
(loop with caps and lit
for item in list
when (eql item #\space)
collect item
else when (member item '(#\! #\? #\.))
collect item and do (setf caps t)
else when (eql item #\")
do (setf lit (not lit))
else when lit
collect item and do (setf caps nil)
else when caps
collect (char-upcase item) and do (setf caps nil)
else
collect (char-downcase item) and
do (setf caps nil lit nil)))