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

групп:

каналов:

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

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

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

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

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

go.backupland.com

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

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

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

Size: a a a

Lisp Forever

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

VM

Vyacheslav Mikushev in Lisp Forever
В лямда исчислении if определен приблизительно так:


(defun my-true (a b)
 (funcall a))

(defun my-false (a b)
 (funcall b))

(defun my-if (test a b)
 (funcall test a b))

(my-if #'my-false (lambda () (print "true")) (lambda () (print "false")))

(my-if #'my-true (lambda () (print "true")) (lambda () (print "false")))
источник
12:15пожаловаться#1

UT

Unknown T. in Lisp Forever
Да понятно, что через conitional jump, но сам conditional jump же тоже использует условие, получается…
источник
12:15пожаловаться#2

UT

Unknown T. in Lisp Forever
Хм. Тут вообще как-то не понятно, по факту просто вызываем функции и всё, ветвления нет, т.к. и then, и else ветки отрабатывают всегда
источник
12:23пожаловаться#3

VM

Vyacheslav Mikushev in Lisp Forever
Запусти код в sbcl и посмотри, что отрабатывает только определенная ветка.
источник
12:25пожаловаться#4

a

akater in Lisp Forever
Не устаю поражаться, что кто-то может написать такое, и при этом вписать туда print.
источник
12:28пожаловаться#5

UT

Unknown T. in Lisp Forever
Понятно, что в рамках одного вызова my-if отрабатывает определенная ветка
Я про то, что условия тут по сути нет, как в этом подходе сделать print true, если 5 > 2?
источник
12:32пожаловаться#6

A

Aragaer in Lisp Forever
это некоторый естественный, впитанный с молоком матери, способ проявления наружу эффектов
источник
12:33пожаловаться#7

A

Aragaer in Lisp Forever
надо не сам test, а функцию, которая вернет true или false
источник
12:33пожаловаться#8

A

Aragaer in Lisp Forever
то есть (funcall (funcall test) a b)
источник
12:33пожаловаться#9

A

Aragaer in Lisp Forever
и тогда (my-if (lambda () (> 5 2)) (lambda () "hello") (lambda () "world"))
источник
12:34пожаловаться#10

A

Aragaer in Lisp Forever
но и оператор > должен возвращать my-true и my-false
источник
12:35пожаловаться#11

UT

Unknown T. in Lisp Forever
и как он (оператор >) их может вернуть по-разному в зависимости от условия, если у нас нет if?
источник
12:37пожаловаться#12

VM

Vyacheslav Mikushev in Lisp Forever
Как-то так:
(defun my-> (n1 n2)
 (let ((tmp (vector #'my-false #'my-false #'my-true))
 (n (1+ (signum (- n1 n2)))))
   (aref tmp n)))

(my-if (my-> 2 1)
      (lambda () (print "more"))
      (lambda () (print "less")))

(my-if (my-> 1 2)
      (lambda () (print "more"))
      (lambda () (print "less")))
источник
12:41пожаловаться#13

UT

Unknown T. in Lisp Forever
Хм, ну да, разумно, перейти от ifов к математическим операциям и брать по индексу, спасибо!
источник
12:45пожаловаться#14

a

akater in Lisp Forever
Моя вера в человечество полностью уничтожена.
источник
12:55пожаловаться#15

A

Aragaer in Lisp Forever
вообще да, где-то внутри должен быть переход к "без ветвления"
источник
12:55пожаловаться#16

A

Aragaer in Lisp Forever
это как я помню разбирался с некоторым сишным кодом, где было что-то вроде
if (some_condition)
 some_var = 7;
else
 some_var = 5;
Но в ассемблере ветвления я не нашел. Там было вычисление условия (результат 0 или 1), дальше его умножили на 2 и прибавили к 5
источник
12:56пожаловаться#17

DS

Dork Schweider in Lisp Forever
Ещё можно при желании написать some_var = 7 * some_condition + 5 * !some_condition
источник
12:59пожаловаться#18

VM

Vyacheslav Mikushev in Lisp Forever
Почему?
источник
12:59пожаловаться#19

A

Aragaer in Lisp Forever
ага
источник
13:01пожаловаться#20