SA
Не конс
Size: a a a
2020 August 22
SA
Это буквально один и тот же тип
SA
(not cons) = atom
SA
Разделение типа имеет смысл когда ты в макросах пытаешься понять является ли что то обычным объектом или вызовом чего либо
SA
То есть формой
SA
В этот момент это собственно главный тест
a
Разделение типа имеет смысл когда ты в макросах пытаешься понять является ли что то обычным объектом или вызовом чего либо
Разделение типа на какой и какой?
a
from the book The Little Schemer:
(define atom?
(lambda (x)
(and (not (pair? x)) (not (null? x)))))
(define atom?
(lambda (x)
(and (not (pair? x)) (not (null? x)))))
a
а бывает такой подход к типизации, когда тип - это структура дерева?
a
Разделение типа на какой и какой?
В общем, неважно какой, мой поинт в том, что иногда объявление типа, даже
atom, попросту позволяет компилятору оптимизировать.H
anton
а бывает такой подход к типизации, когда тип - это структура дерева?
Тип-суммы?
a
типа того, наверное
SA
Ну конкретно это
SA
Не позволяет
SA
Разделение на атом и конс
SA
Я имел ввиду
SA
Объявив что то консом ты можешь оптимизировать ещё иногда
SA
Типа car cdt
SA
Но атом
SA
Это ваще чё угодно