Изменения

Перейти к: навигация, поиск

Функциональное программирование

20 байт убрано, 12:39, 26 апреля 2015
м
Нормальный порядок редукции: облегчена речевая конструкция определения
[http://softoption.us/content/node/46 Здесь] про стратегии редуцирования с примерами и определениями.
'''Нормальный порядок редуцирования''' {{---}} самым первым делом сначала раскрывается самый левый самый внешний редекс.
Пример не очень удачный, так в нём всего одна редукция, после которой получится: y (y (y (λ b . (x (x (x (λ c d . d) y)) x)))) y

Навигация