Сокращение графика

• Основы сокращения графиков

  • Сокращение графиков используется для эффективной оценки нестрогих функций в информатике. 
  • Эта стратегия известна как ленивая оценка и применяется в функциональных языках программирования. 
  • Крис Уодсворт разработал эту технику в 1971 году. 

• Мотивация и примеры

  • Приведен пример вычисления арифметического выражения с использованием сокращения самого внешнего и самого внутреннего дерева. 
  • Выражение также может быть вычислено справа налево, но это не обязательно. 
  • Представлено в виде дерева, что позволяет визуализировать процесс сокращения. 

• Сокращение комбинаторного графа

  • Комбинаторное представление программы позволяет эффективно выполнять вычисления. 
  • Ленивая оценка была впервые описана в диссертации Уодсворта и позже использована в SASL. 

• История и дальнейшее развитие

  • Уодсворт представил концепцию сокращения графиков в своей диссертации в 1971 году. 
  • Тернер включил ленивую оценку в SASL в 1976 году. 

• Дополнительные ресурсы

  • Статья содержит ссылки на другие материалы, связанные с ленивой оценкой и функциональным программированием.