Изучая clojure, я был очень удивлен, обнаружив, что эти два объекта относятся к разным типам:
(list? `(inc)) ;; true
(list? `(inc 1)) ;; false
Теоретически я понимаю, почему вторая форма возвращает false, этот объект на самом деле является clojure.lang.Cons. Однако на практике я не понимаю, почему это происходит.
Почему читатель читает `(inc) иначе, чем `(inc 1)? Что происходит под капотом?
Когда читатель сталкивается с формой, заключенной в синтаксические кавычки, которая оказывается коллекцией, он будет .java#L862" rel="nofollow">перебирать каждый элемент и рекурсивно вызывать синтаксическую кавычку. Результат consed, начиная с nil.
Таким образом, возникает вопрос, почему выполняется следующее:
> (list? (cons 'inc nil))
true
> (list? (cons 'inc (cons 1 nil)))
false
Кажется, это вопрос определения.
list? на самом деле является функцией с очень ограниченной полезностью. На самом деле я еще не видел кода Clojure, в котором использовалось бы list?, но в лучшем случае это был бы плохой выбор, а чаще причина ошибки.
Если вы хотите знать, является ли что-то «списочным», seq? — отличный выбор.
в действии:
user=> (pprint/print-table (for [item [[] () `(a) `(a b) (seq [1])]]
{'item (pr-str item)
'seq? (seq? item)
'list? (list? item)
'type (type item)}))
| item | seq? | list? | type |
|-----------------+-------+-------+------------------------------------------------|
| [] | false | false | class clojure.lang.PersistentVector |
| () | true | true | class clojure.lang.PersistentList$EmptyList |
| (user/a) | true | true | class clojure.lang.PersistentList |
| (user/a user/b) | true | false | class clojure.lang.Cons |
| (1) | true | false | class clojure.lang.PersistentVector$ChunkedSeq |
seq.
- person Thumbnail; 19.03.2015
seqential?.
- person noisesmith; 19.03.2015
clojure.lang.Sequential пусто, поэтому типы просто выбирают его реализацию. Тем не менее, sequential? лучше, чем seq?, как улучшение по сравнению с list??
- person Thumbnail; 19.03.2015
(list? `(a))с(list? `(a b)). Во всяком случае,(type ..)показывает, что первый — это PersistentList, а второй — Cons. Но почему.. без понятия. - person user2864740 schedule 18.03.2015nil, это список из одного элемента (т.е.(inc)). Отличается ли это в clojure? - person Malabarba schedule 18.03.2015(type `(a b c))также приводит к минусам. Отличается только форма`(singular), которая читается как PersistentList. - person user2864740 schedule 18.03.2015(list? '(a b))возвращаетtrue. Я предполагаю, что синтаксическая цитата не возвращает список, потому что проще реализовать соединение~@с общими последовательностями (сconcatили чем-то еще). Вероятно, было бы разумнее проверитьseq?вместоlist?. - person DaoWen schedule 18.03.2015seq?? Я знаю, что он проверяетISeq, но я не знаю, реализуют ли какие-либо другие коллекцииISeq. (в любом случае, это побочная тема, мне все еще любопытен вопрос) - person Malabarba schedule 19.03.2015(defn code? [x] (or (list? x) (instance? clojure.lang.Cons x)))- person DaoWen schedule 19.03.2015clojure.lang.PersistentListявляется единственным коллекция, которая реализуетISeqи будет истинной дляseq?. (Внизу, начиная чуть выше предикатов и функций.) - person Shannon Severance schedule 19.03.2015(seq? `(x y))верно, а(list? `(x y))ложно. Что, думаю, противоречит этому. - person Malabarba schedule 19.03.2015clojure.lang.Consсчитаются коллекциями, и он реализуетISeq. - person Shannon Severance schedule 19.03.2015coll?:-\ - person Malabarba schedule 19.03.2015