Size: a a a

2021 January 08

SA

Sokolov Andrew in Lisp Forever
z принимает 1 аргумент
источник

SA

Sokolov Andrew in Lisp Forever
в данном случае этот аргумент это
источник

SA

Sokolov Andrew in Lisp Forever
Переслано от Sokolov Andrew
(lambda (p q) p)
источник

J

Jor1q in Lisp Forever
Так
источник

J

Jor1q in Lisp Forever
Понятно
источник

J

Jor1q in Lisp Forever
И что происходит дальше?
источник

SA

Sokolov Andrew in Lisp Forever
ну
источник

SA

Sokolov Andrew in Lisp Forever
дальше мы подставляем конс вместо z
источник

SA

Sokolov Andrew in Lisp Forever
потому что мы хотим типа
источник

SA

Sokolov Andrew in Lisp Forever
(car (cons ...))
источник

SA

Sokolov Andrew in Lisp Forever
так что подставляем туда конс
источник

SA

Sokolov Andrew in Lisp Forever
то есть
источник

SA

Sokolov Andrew in Lisp Forever
Переслано от Sokolov Andrew
(lambda (m) (m 1 2))
источник

SA

Sokolov Andrew in Lisp Forever
и получаем
источник

SA

Sokolov Andrew in Lisp Forever
Переслано от Sokolov Andrew
((lambda (m) (m 1 2)) (lambda (p q) p))
источник

SA

Sokolov Andrew in Lisp Forever
вопросы?
источник

J

Jor1q in Lisp Forever
Sokolov Andrew
Переслано от Sokolov Andrew
((lambda (m) (m 1 2)) (lambda (p q) p))
А как работает это?
источник

SA

Sokolov Andrew in Lisp Forever
пока никак
источник

SA

Sokolov Andrew in Lisp Forever
пока я только до сюда дошел
источник

SA

Sokolov Andrew in Lisp Forever
как это получилось понятно?
источник