PG
но как конкретно это делается не очень понятно и удобно, а тут старые добрые лисповые макросы
Size: a a a
2020 August 26
PG
максимально похоже на Lean, ещё раз повторюсь
SA
ну вот эээ
SA
have fun
AP
Хмм, а чего сложного в схемных иакросах, давайте разбирать
AP
(define-syntax <-
(syntax-rules ()
[(<- hs a) (hash-refs hs a)]
[(<- hs a b) (hash-refs (hash-ref hs a) b)]
[(<- hs a b c ...) (<- (hash-refs (hash-ref hs a) b) c ...)]))
(syntax-rules ()
[(<- hs a) (hash-refs hs a)]
[(<- hs a b) (hash-refs (hash-ref hs a) b)]
[(<- hs a b c ...) (<- (hash-refs (hash-ref hs a) b) c ...)]))
AP
Вон типичный пример для навигации по вложенному словарю. Просто и наглядно (<- hash 'k1 'k2 'k3 'k4)
J
Ребята подскажите пожалуйста что делает эта функция
J
A
ну надо нарисовать список и посмотреть, что там должно быть, чтобы эта функция что-то вернула
A
если список пустой, то возвращает ложь. Если непустой, то истину, если у него первый элемент является пустым списком. Иначе идем в рекурсию.
A
соответтсвенно это истина, если у тебя список представляет бинарное дерево, где левые поддеревья это подсписки, а правые это хвосты дерева и все это дерево не имеет левых поддеревьев
J
Спасибо большое
A
мм.. пожалуй соврал. оно истина, если в списке есть хотя бы один пустой список. Так
A
оно было бы понятнее, если and и or переписать через if
A
(defun enigma (x)
(if (null x)
false
(if (null (car x))
true
(enigma (cdr x)))))
A
ну или через cond.
2020 August 27
SD
Почему в clhs написано, что функция require is deprecated?
V(
Странно, хотя сейчас вместо require у всех quicklisp:quickload же
VL
может потому-что лучше юзать defpackage?