SA
Но короче компилермакрОсы
Size: a a a
2020 October 06
SA
Раскрываются так
AK
А, точно, я тупанул чёт, в sbcl format оптимизируется за счёт всех этих sbcl-ных
compiler-macro там для галочки, ворнингом прост ругается
deftransform и defoptimizercompiler-macro там для галочки, ворнингом прост ругается
VL
макрООсы
SA
Ну да
SA
Банка скорее ебошит своими ир все
SA
Это то почему я хотел чтоб был лоу левел лисп
2020 October 07
Е
Переслано от Евгений
кто решал задачу 1.6 из SICP?
По идее считается, что при cond будет бесконечный цикл, а при if не будет. Действительно, if — работает, cond — бесконечный цикл. Но я в упор не вижу объяснения этому в учебнике. Наоборот, написано, что как только предикат верный, то возвращается следствие и всё. Как раз в нашем случае при проверке good-enough? в итоге отыщется нужное значение, и вычисления должны остановиться. Good-enough? рекурсии не содержит. Тогда почему выходит бесконечный цикл?
По идее считается, что при cond будет бесконечный цикл, а при if не будет. Действительно, if — работает, cond — бесконечный цикл. Но я в упор не вижу объяснения этому в учебнике. Наоборот, написано, что как только предикат верный, то возвращается следствие и всё. Как раз в нашем случае при проверке good-enough? в итоге отыщется нужное значение, и вычисления должны остановиться. Good-enough? рекурсии не содержит. Тогда почему выходит бесконечный цикл?
Е
Е
Е
Е
VM
Аргументы функций вычисляются до того как передать их в функцию.
VM
Специальная форма (if) откладывает вычисление.
A
ну да, в другом чате уже сказали, что дело не в разнице if и cond, а в разнице if и new-if
VM
Поэтому new-if уходит в рекурсию.
SA
как и конд но тут он обернут в ебучую функцию
SA
был бы голый конд все было бы ок
VM
Вообще, есть список ответов на все упражнения из sicp.