В рейтинге участвует:

групп:

каналов:

Виртуальный сервер на SSD - недорого!

Аренда выделенных и виртуальных серверов (VDS/VPS), хостинг, аренда IP-адресов, администрирование, круглосуточная поддержка

qwarta.ru подробнее

Резервное копирование с проверкой на вирусы!!!

Удобный сервис создания резервных копий на любой сервер сети интернет. Отслеживайте изменения, проверяйте на вирусы. Надежно защитите свой бизнес!

go.backupland.com

Выбираете сервер? Любая конфигурация на заказ!

Аренда физических серверов любых конфигураций под любые запросы - 1С бухгалтерия, игровые сервера, нагруженные проекты, интернет-магазины!

qwarta.ru подробнее

Size: a a a

Lisp Forever

149 membersпожаловаться на группу
2021 April 06

UT

Unknown T. in Lisp Forever
ну условие вычислить на этапе раскрытие же не проблема
если с ifoм внутри делать, то так и будет, типа
(if (eval condition) (list …then…) (list …else…))

но как это поможет избавиться от if
источник
11:28пожаловаться#1

UT

Unknown T. in Lisp Forever
Ну да. Но вот интересно, сам if же как-то реализован в lisp? Они же внутри не используют unless, а unless - if ) Кольцевая зависимость получается
источник
11:29пожаловаться#2

A

Aragaer in Lisp Forever
в том-то и дело, что это special form, (ну или cond это special form), то есть где-то в каком-то месте мы из чистого лиспа уходим
источник
11:32пожаловаться#3

UT

Unknown T. in Lisp Forever
То есть типа не lisp говорит интерпретатору, по какой ветке пойти, а сам интерпретатор видит if и обрабатывает его специальным образом?
источник
11:33пожаловаться#4

LL

Lämppi Lütti in Lisp Forever
Это функция которая встроена в реализацию, а не объявлена где-то в пакете
источник
11:36пожаловаться#5

UT

Unknown T. in Lisp Forever
нашел в sicp, но не особо понятнее:(test (op true?) (reg val)) — это псевдокод?
https://mitpress.mit.edu/sites/default/files/sicp/full-text/book/book-Z-H-34.html#%_sec_5.4.3
источник
11:36пожаловаться#6

LL

Lämppi Lütti in Lisp Forever
Типо какой-нибудь when это макрос из cl и полное имя у него cl::when, а if это просто if
источник
11:37пожаловаться#7

UT

Unknown T. in Lisp Forever
Ну а чисто концептуально интересно, как реализован if. Выглядит так, что для реализации if нужен if )
источник
11:38пожаловаться#8

a

akater in Lisp Forever
Я к тому, что вопрос стоит для начала переформулировать.
источник
11:38пожаловаться#9

LL

Lämppi Lütti in Lisp Forever
Когда лисп реализуешь делаешь сразу спец формы, а потом уже на лиспе их используешь чтобы стандартную либу написать
источник
11:39пожаловаться#10

LL

Lämppi Lütti in Lisp Forever
Он и используется
источник
11:39пожаловаться#11

LL

Lämppi Lütti in Lisp Forever
Вот если бы банка была написана на С то if был бы сишный
источник
11:39пожаловаться#12

LL

Lämppi Lütti in Lisp Forever
Если на джаве, то джавный
источник
11:40пожаловаться#13

LL

Lämppi Lütti in Lisp Forever
А банка на кл, так что там клный, но это выглядит не так как кажется
источник
11:40пожаловаться#14

UT

Unknown T. in Lisp Forever
Банка — интерпретатор?
источник
11:40пожаловаться#15

LL

Lämppi Lütti in Lisp Forever
SBCL
источник
11:41пожаловаться#16

LL

Lämppi Lütti in Lisp Forever
Ну в общем да
источник
11:41пожаловаться#17

UT

Unknown T. in Lisp Forever
Понял, спасибо
источник
11:41пожаловаться#18

UT

Unknown T. in Lisp Forever
Ну да, логично.
А как в принципе оператор условия работает на самом низком уровне? Вот в конечно итоге спускаемся до ассемблера, там je/jne, например, как они обрабатываются процессором? Та же проблема, что для if нужен if
источник
11:43пожаловаться#19

a

akater in Lisp Forever
https://cs.stackexchange.com/a/83375
Computer Science Stack Exchange
How are conditionals implemented at hardware level?
Can anyone explain how are conditionals implemented in the CPU?

Is special circuitry used?
источник
11:53пожаловаться#20