В чем заключаются основные принципы комбинаторной логики в программировании?

Некоторые основные принципы комбинаторной логики в программировании:

• Использование комбинаторов. wilduser.narod.ru jurinfor.ru Комбинирование одних объектов с другими выполняется с помощью изначально выделенных объектов-констант — комбинаторов. wilduser.narod.ru jurinfor.ru
• Применение оператора аппликации. wilduser.narod.ru В комбинаторной логике используется единственный оператор — приложение одного объекта к другому. wilduser.narod.ru
• Динамическое возникновение инструкций. wilduser.narod.ru Вычисление начинается с заранее известного набора инструкций, но в процессе работы программы могут появляться новые, необходимые инструкции. wilduser.narod.ru
• Оптимизация вычислений путём перестановки параметров. wilduser.narod.ru Применение комбинаторов позволяет строить оптимизированный программный код, анализируя порядок возможного замещения формальных параметров на фактические. wilduser.narod.ru
• Использование механизмов ленивого означивания. wilduser.narod.ru Если значение объекта уже однократно вычислено, то в дальнейшем используется именно это заранее вычисленное значение. wilduser.narod.ru
• Принцип иерархичности. intuit.ru В основе теории типов лежит этот принцип, который заключается в том, что производные типы содержат базисные как подмножества. intuit.ru

Комбинаторная логика позволяет моделировать процесс реализации программного обеспечения на языке функционального программирования и формализовать процедуру приписывания типов объектам этого языка. intuit.ru