(←) предыдущая запись ; следующая запись (→)
Теперь давайте о действительно великих комбинаторах.
Говорили сегодня на уроке про лямбда-исчисление. Мы как раз подошли к рекурсии.
Пока объяснял сам, наконец, понял, почему там используется комбинатор неподвижной точки (Y-комбинатор):
fix = λf . (λx . f (x x)) (λx . f (x x))
Правда, кажется, я уже в третий раз в жизни это «наконец понял». Кто знает, может в этот раз я действительно понял.
Если честно, я не очень надеюсь, что школьники поняли, хотя я очень старался объяснить. Но хочу верить, что какие-то идеи они подхватят.
Некоторые вещи, чтобы их понять, нужно разобрать n раз с разницей в несколько лет; будем считать, что теперь им остался (n - 1) раз. Рекурсивно их понимание сойдётся. ;-)