Пусть выражение
-
Преобразование выражений let в лямбда-выражения
- Выражения let могут быть преобразованы в лямбда-выражения с использованием правил.
- Правила включают преобразование let-комбинации и де-let.
- Правила предполагают упорядоченность выражений, как если бы они были созданы с помощью de-lambda.
-
Примеры и правила
- Пример Y-комбинатора преобразуется в лямбда-выражение.
- Правила отменяют преобразование, сохраняя структуру выражения.
- Не все выражения let могут быть преобразованы.
-
Правила преобразования
- g et-l ambda преобразует выражение let в лямбда-выражение с сохранением значения переменной V.
- d e-let преобразует выражение let с использованием лямбда-выражения.
- Правила преобразования учитывают вхождение переменных в выражения let и их область видимости.
-
Эквивалентность преобразований
- Некоторые правила приводят к эквивалентности преобразований.
- Примеры включают преобразование let-комбинации и де-let для переменных, не входящих в область видимости.
- Правила также учитывают вхождение переменных в выражения let и их область видимости.
- Пересказана только часть статьи. Для продолжения перейдите к чтению оригинала.
Полный текст статьи: