Что такое чистая функция и какими свойствами она обладает?

Что такое чистая функция?

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

Развёрнутый ответ

Краткий ответ

Чистая функция — это функция, которая для одинаковых входных данных всегда возвращает одинаковый результат и не создаёт побочных эффектов: она не зависит от внешнего состояния и не изменяет его.

Основные свойства

• Детерминированность: при вызове с одинаковыми аргументами чистая функция гарантированно возвращает одно и то же значение. Благодаря этому код проще тестировать и отлаживать.
• Отсутствие побочных эффектов: функция не модифицирует глобальные переменные и не выполняет операции I/O (файлы, сеть), поэтому остаётся предсказуемой и безопасной при параллельном выполнении.
• Идемпотентность по входам: функциональное программирование использует чистые функции, чтобы упростить рефакторинг, обеспечить масштабируемость и кэшировать результаты (memoization).

Практическое применение

Чистые функции нередко лежат в основе бизнес-логики, в частности при работе с такими библиотеками, как Redux, в React 18+. Редьюсеры в этом случае являются чистыми функциями, что облегчает тестирование и позволяет безопасно применять функциональные паттерны без скрытых зависимостей.