Что такое монада?

Монада в контексте функционального программирования в PHP — это паттерн или концепция, используемая для управления вычислениями, включающими побочные эффекты, ошибки или асинхронность, позволяя последовательно комбинировать такие операции. Ее можно представить как "обертку" вокруг значения, предоставляющую контекст и правила поведения.

Основные компоненты монады:

• Тип контейнера (например, Maybe для обработки потенциально отсутствующих значений, Either для обработки успешных и ошибочных результатов, IO для побочных эффектов).
• Операция return (или unit) - помещает значение в контейнер монады.
• Операция bind (обычно метод flatMap в PHP) - берет функцию, которая возвращает другую монаду, применяет ее к значению внутри текущей монады и возвращает результирующую монаду, разворачивая слой. Это позволяет последовательно связывать монадические вычисления.

Например, монада Maybe для обработки null:

// Простая реализация Maybe
class Maybe {
    private $value;

    private function __construct($value) {
        $this->value = $value;
    }

    public static function unit($value): self {
        return new self($value);
    }

    public function flatMap(callable $f): self {
        if ($this->value === null) {
            return self::unit(null); // Пропускаем операцию, если значение null
        }
        $result = $f($this->value);
        if (!($result instanceof Maybe)) {
             // В реальной монаде должен быть строгий контроль типов
             throw new \InvalidArgumentException("Функция должна вернуть моноду");
        }
        return $result;
    }

    public function getValue() {
        return $this->value;
    }
}

// Пример использования
$value1 = Maybe::unit(5)
    ->flatMap(function($x) { return Maybe::unit($x + 2); }) // 5 + 2 = 7
    ->flatMap(function($x) { return Maybe::unit($x * 3); }); // 7 * 3 = 21

echo $value1->getValue(); // Вывод: 21

echo "\n";

$value2 = Maybe::unit(null)
    ->flatMap(function($x) { return Maybe::unit($x + 2); }) // Не будет вызван
    ->flatMap(function($x) { return Maybe::unit($x * 3); }); // Не будет вызван

var_dump($value2->getValue()); // Вывод: NULL

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