OOP организует код вокруг объектов, которые объединяют изменяемое состояние с поведением; Функциональное программирование (FP) организует код вокруг чистых функций и неизменяемых данных, рассматривая вычисления как преобразование данных. Это разные подходы по умолчанию, а не противоположности — и большинство современных языков смешивают оба подхода.
| OOP | FP | |
|---|---|---|
| Единица | Object (состояние + методы) | Function |
| Состояние | Инкапсулировано, часто изменяемо | Неизменяемо; избегайте побочных эффектов |
| Полиморфизм | Подтипирование / dynamic dispatch | Функции высшего порядка, обобщённые типы |
| Добавление типа | Просто (новый класс) | Сложно (изменить каждую функцию) |
| Добавление операции | Сложно (изменить каждый класс) | Просто (новая функция) |
Эта последняя строка — это expression problem: каждая парадигма упрощает изменение по одной оси и усложняет по другой.
# OOP: data + behavior together, dispatch by type
class Circle:
def __init__(self, r): self.r = r
def area(self): return 3.14159 * self.r ** 2
# FP: data is dumb; behavior is a separate pure function
def area(shape):
match shape:
case ("circle", r): return 3.14159 * r ** 2
case ("square", s): return s * s
OOP → rich domains with identity & lifecycle (orders, sessions, UI widgets)
FP → data pipelines, transformations, concurrency (immutability avoids races)
Современные языки — это мультипарадигменные языки (Scala, Kotlin, Python, современные Java/C#), поэтому практический навык — это выбор правильного инструмента для каждой задачи, а не выбор одной парадигмы.
Акцент FP на неизменяемость и чистые функции переформулировал лучшие практики OOP — неизменяемые объекты-значения и внедрение зависимостей поведения — это идеи FP, которые теперь являются стандартом хорошего объектно-ориентированного проектирования.