Что такое expression problem, или О дуализме функционального и объектно-ориентированного программирования
2026-02-26 20:26 Diff
https://ru.hexlet.io/blog/posts/expression-problem

Об expression problem можно услышать, когда разработчики обсуждают разные парадигмы, например, преимущества и недостатки функционального и объектно-ориентированного программирования (ООП).

Термином «expression problem» обозначают проблему выбора подхода, который позволит добавлять в программу новые сущности и операции над ними без изменения существующей реализации.

Примечание — В компилируемых языках изменение существующего кода приводит к его перекомпиляции.

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

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

Содержание

ООП и expression problem

В ООП каждую сущность (фигуру) можно описать классом, а действия над ней — методами этого класса:

Чтобы добавить новую сущность, достаточно создать ещё один класс с нужными методами.

При такой организации кода (на классах) легко добавлять новые сущности, так как не нужно менять реализацию операций. Как добавить новые операции над сущностями? Это можно увидеть на примере получения высоты. Соответствующий метод нужно добавить в каждый класс.

При использовании подхода, принятого в ООП, expression problem выражается в необходимости менять реализацию существующих классов для добавления новых операций.

Функциональное программирование и expression problem

При использовании подхода, принятого в функциональном программировании, сущности и операции над ними представлены в виде функций. Конструкторы и операции группируются в ассоциативные массивы (объекты), где ключами выступают имена фигур.

Примечание — В оригинальной статье примеры в функциональном стиле реализованы на F# с использованием алгебраических типов данных. Мы делаем примеры кода на JavaScript, в этом языке нет алгебраических типов данных. Считайте представленный ниже код учебными примерами.

В примере ниже показано, как можно добавить новую операцию — получение высоты фигуры.

При такой организации кода легко добавлять новые операции, так как не нужно менять реализацию сущностей. Что произойдёт, если понадобится добавить в программу новую сущность, например, треугольник?

При попытке произвести операцию над треугольником, например, при вызове функции, которая вычисляет площадь, возникнет ошибка, так как в объекте areas нет соответствующего свойства.

Примечание — В компилируемых языках компиляция такого кода завершится с ошибкой.

Разработчику придётся доработать реализацию операций и добавить в каждый объект свойство rightTriangle.

При использовании подхода, принятого в функциональном программировании, expression problem проявилась в необходимости изменять существующие объекты с операциями.

Заключение

Примеры выше показали, что при использовании подхода, принятого в функциональном программировании, expression problem проявилась при добавлении в программу новых сущностей. А при использовании подхода, принятого в ООП, expression problem проявилась при добавлении в программу новых операций.

Как следствие, если вы работаете с программой, в которой новые сущности появляются редко, а новые операции над сущностями — часто, хорошо работает подход, принятый в функциональном программировании. А если вы работаете с программой, в которой часто появляются новые сущности, но редко появляются новые операции над ними, хорошо работает подход, принятый в объектно-ориентированном программировании.

Универсального подхода, который позволяет одинаково легко добавлять в программу новые сущности и операции над ними, нет.

Примечание — В проекте «Вычислитель отличий» на Хекслете студенты сталкиваются с expression problem. В этом проекте лучше работает подход, принятый в функциональном программировании, так как в приложение нужно добавить несколько операций над сущностями.

Адаптированный перевод статьи The Expression Problem in .NET by Camden Reslink. Над примерами кода работал ментор Хекслета Станислав Дзисяк. Мнение администрации Хекслета может не совпадать с мнением автора оригинальной публикации.