как там его

Lem

Что-то сейчас внезапно с небольшим багом столкнулся в рэкете, не учел, что '() там это True.

А действительно, почему не сделали как в CL, где '() и #f одно и то же?

ну типа

потому что это разные типы данных

там нет generalized booleans

considered harmful etc

Нет никаких причин для того, чтобы делать их одним и тем же.

С таким же успехом можно было объявить false и другие нулевые значения, например 0, #(), "", как это сделано например в Питоне.

ну ваще то

кончно

листы очень тесно интегрированы в лиспп

и в частности литерал листы

так чтоо

Ну понятно что типы данных разные, просто концепция "все что не #f будет #t" заходит и вполне удобна для абсолютно любых типов данных. Но чисто с практической точки зрения я пока сходу не могу придумать, где '() должен быть именно типом "пустой список", а не #f. Ведь на практике от пустого списка только и требуется что проверить его на пустоту, почему бы сразу как какой-нибудь алиас к #f его не представлять +)

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

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

ну в лиспе строгая система типов на самом деле
Просто есть вот этот вот

Хмм, почему не должен? Давай какую-нибудь явную задачку придумаем