Сокращение графика
-
Основы сокращения графиков
- Сокращение графиков используется для эффективной оценки нестрогих функций в информатике.
- Эта стратегия известна как ленивая оценка и применяется в функциональных языках программирования.
- Крис Уодсворт разработал эту технику в 1971 году.
-
Мотивация и примеры
- Приведен пример вычисления арифметического выражения с использованием сокращения самого внешнего и самого внутреннего дерева.
- Выражение также может быть вычислено справа налево, но это не обязательно.
- Представлено в виде дерева, что позволяет визуализировать процесс сокращения.
-
Сокращение комбинаторного графа
- Комбинаторное представление программы позволяет эффективно выполнять вычисления.
- Ленивая оценка была впервые описана в диссертации Уодсворта и позже использована в SASL.
-
История и дальнейшее развитие
- Уодсворт представил концепцию сокращения графиков в своей диссертации в 1971 году.
- Тернер включил ленивую оценку в SASL в 1976 году.
-
Дополнительные ресурсы
- Статья содержит ссылки на другие материалы, связанные с ленивой оценкой и функциональным программированием.
Полный текст статьи: