Два пустых списка гарантированно равны 'eq?'в ракетку?

Question

Гарантируется ли (eq? '() '()) истина в Racket?

Если не ошибаюсь, два пустых списка гарантированно равны eq? в R7RS, но я хочу знать, предоставляет ли Racket такую ​​гарантию.

Я прочитал документацию , но не смог найти ответ.

Answer 1

Да. Поведение eq? более или менее следует за eq? из Схемы.

Хотя документация по eq? может быть более понятной. В документации по спискам сказано следующее:

Список рекурсивно определен: это либо постоянная нуль, либо пара, вторым значением которой является список.

Таким образом, пустой список является константой, что означает, что он уникален.