Стратегия сокращения выбросов
-
Основы лямбда-исчисления
- Лямбда-исчисление — это формальное исчисление, основанное на лямбда-абстракции и рекурсии.
- Редукция — это процесс упрощения лямбда-терминов, который включает в себя замену повторяющихся выражений.
-
Редукция нормального порядка
- Редукция нормального порядка — это стратегия, при которой сокращения выполняются слева направо.
- Редукция нормального порядка является нормализующей, что означает, что она всегда приводит к нормальной форме.
-
Параллельная редукция
- Параллельная редукция — это стратегия, которая одновременно сокращает все повторяющиеся выражения.
- Параллельная редукция является гипернормализующей, что означает, что она всегда приводит к нормальной форме.
-
Стратегии сокращения
- Существуют различные стратегии сокращения, включая самое левое-самое внутреннее, самое правое-самое внутреннее, параллельное-самое внутреннее и другие.
- Некоторые стратегии, такие как параллельная внешняя редукция и редукция Гросса-Кнута, являются гипернормализующими.
-
Лямбда-исчисление и редукция
- В лямбда-исчислении редукция нормального порядка является стандартной стратегией.
- Существуют различные стратегии редукции, включая обычное и аппликативное приведение в действие, а также слабое сокращение.
-
Оптимальное сокращение
- Оптимальное сокращение — это стратегия, которая минимизирует количество дублирования работы при сокращении лямбда-терминов.
- Помеченное лямбда-исчисление позволяет точно определить, какие выражения следует сократить совместно.
-
Сокращение потребности в звонках
- Сокращение «Вызов по необходимости» — это стратегия, которая минимизирует количество вызовов функций.
- Эта стратегия требует расширения правила бета-тестирования для сокращения не смежных терминов.
-
Дополнительные сведения
- Существуют различные реализации стратегий сокращения, включая BOHM и Lambdascope.
- Редукция лямбда-исчисления может быть визуализирована с помощью рабочего стола.
Полный текст статьи: