VL
(let ((x 0)) (typep 5 `(integer ,x (5))))
NIL
даже так работает)
NIL
даже так работает)
(integer 0 (10)) напоминаюSize: a a a
2020 October 17
a
есть еще
Да, скорее всего, лучше не придумаешь.
Про неравенства-то (и про
Про неравенства-то (и про
(= 300), скажем) правило простое: предмет нашего кейса просто вставляется как первый аргумент. Расширяя синтаксис это придется нарушить, и мне неочевидно, что оно того вообще стоит раз так.SA
не поня лпроблемы
SA
вот
SA
(coolcase x
((or (0 (r)) ((+ r 20) ((+ 10 (* r 70)))) ...))
VL
thicccase
a
(coolcase x
((or (0 (r)) ((+ r 20) ((+ 10 (* r 70)))) ...))
Правила интерпретациии этого неочевидны. Почему
(r) не надо вычислять?a
Да собсно, почему
(0 (r)) не надо вычислять?SA
правила такие что
SA
то что в скобках разбивается на
SA
хмм
SA
ща да
SA
сек
SA
нуу я бы сказал так
a
На самом деле я давно пришел к выводу, что необходим read-time синтаксис для паттернов. И я думаю,
#_ хорошо подходит.SA
то что в скобках разбивается на
(a b)SA
потом проверка
одинаковая
одинаковая
SA
если a — лсит — то оно не входит
и то что внутри листа (должен быть 1 элемент
вычисляется
и то что внутри листа (должен быть 1 элемент
вычисляется
SA
все
SA
че неоднозначно