Я ассаймент решаю и там есть три пункта: normal-order reduction, data abstraction и beta reduction в Scheme
Вот хочу понять правильно ли я решаю, у меня домашка
Ого. Да, это уже немного из другой оперы 😄 помочь не могу, но звучит интересно, чего-нибудь на эту тему почитаю