AP
Блин. Голова пустого списка — не пустой список.
А что по внутренннему устройству? Вторая ячейка пары ссылается в никуда. "никуда" - это собственно и есть пустой список или не?
Size: a a a
2020 June 04
AP
И голова ссылается туда же
AE
А что по внутренннему устройству? Вторая ячейка пары ссылается в никуда. "никуда" - это собственно и есть пустой список или не?
CL-USER> (consp nil)
NIL
AP
Ну то есть если аналогию провести - то в чем собственно разница между (nil . nil) и просто nil. Типа как 4/1 == 4
VM
Ну то есть если аналогию провести - то в чем собственно разница между (nil . nil) и просто nil. Типа как 4/1 == 4
Разница в том, что nil - это не cons.
VM
Это другой тип.
AP
Ну это как list это не cons
AP
Те же яйца только в профиль
VM
list - это не cons. list - это объединение двух типов.
AP
В смысле двух? (list 1 2) == (cons 1 (cons 2 '()))
VM
В смысле двух? (list 1 2) == (cons 1 (cons 2 '()))
VM
type List =
| v of Cons
| nil of Null
Что-то типа такого.
| v of Cons
| nil of Null
Что-то типа такого.
V(
вы часами спорите об аксиомах?
VM
О каких аксиомах?
YK
Пеано
V(
чому просто не воспринимать элементы null типа ну, как данность
V(
логично не логично
V(
вот 0 круглый, это логично или нет?
V(
логично как у шумеров древних, где емнип не было его вообще
V(
а соответствие регистров понималось из контекста, надо думать с трудом