Откуда берется «пусть» в этом аппликативном сокращении Схемы?

Question

Во втором равенстве у меня проблемы с пониманием, почему существует слово «пусть»? Разве let ((идент) (выражение) (expr0)) не уменьшится до expr0? В нашем случае это уменьшилось бы до f (f (10)), так почему же оно появляется во второй строке?

Мы только начали изучать функциональное программирование в моих классах колледжа.

Answer 1

Это похоже на то, что

(let ((x e)) body)

совпадает с

((lambda (x) body) e)

, но работает в обратном направлении, превращая лямбда-приложение в let выражение. Я не считаю этот вывод очень полезным, но это не так.