Земля Lisp пример избыточности?

Я прочитал много хороших вещей о Земля 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?

Ответ 1

Действительно, вы правы. См. errata для книги.

Page 97: функция tweak-text имеет два сбоя, хотя в большинстве реализаций Lisp она будет работать нормально. Прежде всего, он использует функцию eq для сравнения символов. Символы всегда должны проверяться с помощью других функций, таких как eql или char -equal в соответствии со спецификацией ANSI. Кроме того, существует ненужная проверка (или крышки), которые могут быть упрощены до колпачков.

Ответ 2

Я бы написал, что как:

(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)))