Точно также лишь немногие и сравнительно молодые математические теории ориентированы на рассуждения в терминах объектов, а не в терминах операторов, как это следует из опыта изучения математического анализа в большинстве университетов, в том числе, и технического или компьютерного профиля. К сожалению, программисту не удается прослушать университетский курс, закладывающий основы математического мышления в терминах объектов. В лучшем случае дело ограничивается сообщением чисто математических результатов, полученных в комбинаторной логике, λ-исчислении или теории категорий, которые не так-то просто преломить на практическое программирование без известной теоретической искушенности.
Можно утверждать, что комбинаторная логика значительно повлияла на современную картину программирования. Начинаясь как наука о природе подстановок в математических теориях, она породила функциональное программирование,программирование в терминах суперкомбинаторов, а также некоторые другие чрезвычайно плодотворные подходы к программированию. В частности, только по-настоящему проникнув в сам дух комбинаторной логики, можно понять в деталях и практически применить систему программирования с заранее нефиксированной системой инструкций.