История изменений
Исправление ilammy, (текущая версия) :
Ещё раз: у функций нет имён. Имена есть у переменных. Поэтому функции сами по себе «безымянные». От того, что функция связывается с переменной, своего имени она не получает. К вычислениям, редукциям и прочему это не имеет никакого отношения. Лямбда-терм — это лямбда-терм. Он существует независимо от того, хочет ли анонимус его вычислить редуцировать или нет.
Исправление ilammy, :
Ещё раз: у функций нет имён. Имена есть у переменных. Поэтому функции сами по себе «безымянные». От того, что функция связывается с переменной, своего имени она не получает. К вычислениям, редукциям и прочему это не имеет никакого отношения. Лямбда-терм — это лямбда-терм. Он существует независимо от того, хочет ли анонимус его вычислить или нет.
Исправление ilammy, :
Ещё раз: у функций нет имён. Имена есть у переменных. Поэтому функции сами по себе «безымянные». От того, что функция связывается с переменной, своего имени она не получает. К вычислениям, редукциям и прочему это не имеет никакого отношения.
Исходная версия ilammy, :
Ещё раз: у функций нет имён. Имена есть у переменных. Поэтому функции сами по себе «безымянные». От того, что функция связывается с переменной, своего имени она не получает.