Какие исключения могут возникнуть при проверке атомов функцией EQ? - Lisp

Формулировка задачи:

(eq x y) is true if and only if x and y are the same identical object. (Implementationally, x and y are usually eq if and only if they address the same identical memory location.)

что значит "обычно"? Какие исключения, и зачем так запутали? Например, почему (eq '(a . b) '(a . b)) might be true or false. какая тут логика? Или: (eq "Foo" "Foo") might be true or false. Обычно такая запись в языках трактуется как 2 ссылки на одну и ту же память. Почему должно быть иначе? И как интерпретатор может это различать, по каким признакам для него одно "Foo" отличается от другого "Foo"?

UPD кстати, фраза "usually eq if and only if" звучит забавно, привет из желтого дома

Решение задачи: «Какие исключения могут возникнуть при проверке атомов функцией EQ?»

Листинг программы

(eq '(a . b) '(a . b)) might be true or false.

Объяснение кода листинга программы

В данном коде используется функция EQ, которая проверяет равенство двух атомов. Функция принимает два аргумента и возвращает булево значение - true, если аргументы равны, и false в противном случае. В данном случае, первый аргумент функции EQ - '(a . b), второй аргумент также '(a . b). Атом - это основной элемент данных в Lisp, который может содержать любое количество вложенных пар ключ-значение. В данном случае, '(a . b) представляет собой атом, состоящий из двух пар ключ-значение, где ключ - 'a, а значение - 'b. Так как оба аргумента функции EQ являются одинаковыми атомами '(a . b), то условие eq может быть истинным. Однако, стоит отметить, что в данном случае это не единственное возможное значение. В общем случае, функция EQ может возвращать true или false в зависимости от того, равны ли аргументы. Например, если первый аргумент будет '(a . c), а второй '(a . b), то функция вернет false, так как аргументы не равны. Таким образом, код в данном случае может возвращать как true, так и false, в зависимости от равенства аргументов функции EQ.