? ???? "FORUM PHP 2024"?? Gina Banyard? ?? ???? ?? ??? ?????.

3?? ??? ???? ??? ????

? ?? ????? ??? ?????.

• ????
• ??
• ??? ??

Google?? 'PHP ???'? ???? ??? ?????, ???, ??, ??? ??(?: ??, ????)? ?? ?? ??? ??? ?????.

????? ???.

????? ???? ??? ???? ??? ? ?? ?????.

??? ??

??? ??? ?? ?? ???? ??? ?? ??? ???? ????? ?? ???.

???? ?? ??? ??? ??? ??????

IMHO, ???? ???? ?? ??? ??? ?? ????? ???? ?? ???? ??? ?? ??? ????.

• ?? ??? ?????
• WET ??
• ??

???? ???(?? ?? ??? ? ??) ?? ? ???? ??? ? ????.

??? ? ???? ?? ??/??

?? ?????? ?? ?? ??? ???? ??? PHP ??? ???? ????.

?, ??? ?? ???? ??? ??? ? ???? ??? ??? ???? ????? ??? ? ????.

?? ????? ?? ????? ?????? ?? ???? ????? ?? ??? ?? ?? ??? ? ???? ????.

??: "Les Exception : le trou dans la raquette du typage"(fr)

Monads? ???? ?? ??? ???? ??? ?? ? ????(?: FileErrors::AccessDenied) ??? ???? ?????.

?? ??? ????

??? ?? ???? ???? ?? ??? ? ????. ???? ??? ???? ?? ????.

?? ?? ?? ???? ?? log()?? ??? ?? ???? ???? ????? ?? ??? ??? ? ????.

?? ??? DRY? ???? ?? ??? ??? ?? ???? ? ??? ??? ?? ???? ?? ?? ????.

??? ?? ??? ??? ?? ???? ???? ??? ???? ????. ??, ?? ??? ???? ?? Monad? ???? ?? ????.

final class LoggerMonad {
    public function __construct(
        public mixed $data,
        public array $logs = [],
    ) {}

    public function bind(callable $fn) {
         $resultLoggerMonad = $fn($this->data);
         return new LoggerMonad(
             $resultLoggerMonad->data,
             [...$this->logs, ...$resultLoggerMonad->logs],
         );
   }
}

function loggify(callable $fn): Closure {
    return function ($value) use ($fn) {
        $name = (new ReflectionFunction($fn))->name;
        $log = [
            'Running '. $name .'('. var_export($value, true) .')'
        ];
        return new LoggerMonad($fn($value), $log);
    };
}

?? ?? loggify ??? ??? ?? ??? ? ????.

function add2(int $v): int {
    return $v + 2;
}

function square(int $v): int {
    return $v * $v;
}

function multi3(int $v): int {
    return $v * 3;
}

function logIt($value, callable ...$fns) {
    $logging_fns = array_map(loggify(...), $fns);
    $monad = new LoggerMonad($value);
    foreach ($logging_fns as $fn) {
        $monad = $monad->bind($fn);
    }
    return $monad;
}

print_r(logIt(
   3,
   add2(...),
   square(...),
   multi3(...)
));

??: Gina Banyard? "Monades simplement"(fr)

????? ??????

?? ??? ??? ?

???? ??? ??? ??? ?? ??? ?? ???? ?? ????.

?? ?? ???? ????? ? ?? ???? ???? ???(~ ???)? ????? ??? ?? ??? ??? ?? ?? ???? ?? ? ????.

??? ?? ???? ??? ??? ?????. ???? ? ? ??? ??? ?(?? ??)? ?????.

??? ???? ?? ?? ???? ???? ?? ?????. ?? ?? ???? ??? ?????? ??? ??? ? ????.

??? ? ?? ??????

??? ?? ??? ???, ???? ?? ?? ????.

??? ? ?? ?? ??? if ??? ?? ?? ??? ?? ?? ?? ???? ?? ? ????.

final class LoggerMonad {
    public function __construct(
        public mixed $data,
        public array $logs = [],
    ) {}

    public function bind(callable $fn) {
         $resultLoggerMonad = $fn($this->data);
         return new LoggerMonad(
             $resultLoggerMonad->data,
             [...$this->logs, ...$resultLoggerMonad->logs],
         );
   }
}

function loggify(callable $fn): Closure {
    return function ($value) use ($fn) {
        $name = (new ReflectionFunction($fn))->name;
        $log = [
            'Running '. $name .'('. var_export($value, true) .')'
        ];
        return new LoggerMonad($fn($value), $log);
    };
}

??: fp4php - ???

??? ??

??

• ? ??? ??? ?? ??? ???? ????: Maybe, Each, Logger, List, Reader ?
• ? ???? ? ?? ???? ??? ???? ?? ??? ???? ? ????
• ? PHP? ?? ?? ?? ??? ???? ???? ??? ???? ???? ????

??

• ? PHP? ?? ?? ?? ??(?: Generics)? ???? ???? ??? ???? ???? ????
• ? ??? ????? ????

? ???

• ???, ??? ??? ? Cats MTL? ??? ??? ?? ??
• PHP? ???? ???
• PHP? ??? ?????

???

?? PHP ???? ?? ?? ? ?? ??? ????.

?? ?? ????? ????? ??? ??? ??? ????? ? ???.

??? ??? ??? ?? ?? ??? ?? ?? ???? ??? ???? ?? ??? ??? ???????.

??? ??? ?? ??? ???? ?? ??? ????? ????. ?????? ??? ???? ???.

? ??? PHP: ???? ?? ?????. ??? ??? PHP ??? ????? ?? ?? ??? ?????!