Исходное сообщение
"Альфа-редукция в языке Ruby" Отправлено psyche, 17-Авг-08 16:46
Предлагаю рассмотреть немного другой пример: lambda { |x|   lambda { |x| x }[2]   p x }[1] Результат в 1.8.7: 2 Результат в 1.9: 1 Отличие от предыдущего примера будет заключаться лишь в том, что мы будет работать не с глобальным окружением и окружением лямбда-функции, а с окружениями двух лямбда-функций. Но теперь данный пример больше похож на пример из википедии λx.λx.x [1]. Альфа-редукция позволяет получить из приведённого примера: λy.λx.x Или для кода Ruby: lambda { |x|   lambda { |y| y }[2]   p x }[1] -- [1] Lambda calculus. http://en.wikipedia.org/wiki/Alpha_reduction#.CE.B1-conversion. Проверено 17.08.2008

Ваше сообщение
Имя*:
EMail:	Для отправки ответов на email укажите знак ! перед адресом, например, !user@host.ru (!! - не показывать email). Более тонкая настройка отправки ответов производится в профиле зарегистрированного участника форума.
Заголовок*:
Сообщение*:
	Введите код, изображенный на картинке: