這篇文章的靈感很大程度上來自 Gina Banyard 在「FORUM PHP 2024」上的技術(shù)演講：

用 3 個(gè)簡(jiǎn)單的同義詞揭開 Monad 的神秘面紗

讓我們從一些同義詞開始：

• 容器
• 包裝
• 設(shè)計(jì)模式

如果你用谷歌搜尋“PHP monads”，其他概念會(huì)很快出現(xiàn)，例如函數(shù)式程式設(shè)計(jì)、綁定、堆疊，甚至深?yuàn)W的數(shù)學(xué)（例如函子、廬半群）。

別怕。

從本質(zhì)上講，Monad 是一種可以透過多種方式實(shí)現(xiàn)的模式。

設(shè)計(jì)模式

當(dāng)您要執(zhí)行一些操作時(shí)，您可以像往常一樣簡(jiǎn)單地定義自訂物件和助理。

那麼，為什麼要費(fèi)心考慮替代概念呢？

恕我直言，這仍然是一個(gè)好問題，因?yàn)槟枰３中?，但?jīng)典方法有常見的限制：

• 操作順序很重要
• 濕代碼
• 例外

Monad 可以更一致地處理可選（或尚未可用）值。

Monad 與經(jīng)典錯(cuò)誤處理/異常

現(xiàn)代專案包含靜態(tài)分析工具，但 PHP 異常沒有類型化。

也就是說，工具無法偵測(cè)函數(shù)簽章中的異常，因此無法判斷程式碼是否正確處理異常。

為了測(cè)試這一點(diǎn)，開發(fā)團(tuán)隊(duì)通常會(huì)編寫功能測(cè)試，但透過靜態(tài)分析進(jìn)行早期檢測(cè)會(huì)更可靠。

來源：「Les Exception：le trou dans la raquette du typepage」（fr）

使用 Monads，您在所有情況下都會(huì)獲得一個(gè)類型化對(duì)象，例如自訂枚舉情況（例如 FileErrors::AccessDenied），因此錯(cuò)誤會(huì)在系統(tǒng)中鍵入。

實(shí)作 Logger Monad

建立強(qiáng)大的日誌系統(tǒng)可能具有挑戰(zhàn)性。複製字串和呼叫很容易。

您可能會(huì)定義一個(gè)名為 log() 的自訂幫助程序，並在專案中的任何地方使用它，而不是對(duì)所有內(nèi)容進(jìn)行硬編碼。

這旨在保持程式碼乾燥，但可能不允許在特定情況下組合更複雜的函數(shù)。

函數(shù)式方法不包括使用這樣的全域幫助器。相反，它寧願(yuàn)實(shí)作一個(gè) Monad 來包裝其他函數(shù)：

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(...)
));

來源：“Monades simplement”，作者：Gina Banyard (fr)

什麼是綁定？

??寶貝別傷害我

Monad 旨在包裝值，可以是任何類型，包括物件和函數(shù)。

與任何其他包裝系統(tǒng)一樣，您會(huì)發(fā)現(xiàn)一個(gè)將此值作為輸入的構(gòu)造函數(shù)（?類）以及一些根據(jù)您嘗試實(shí)現(xiàn)的模式有其自己用途的方法。

但是，所有 Monad 都包含綁定函數(shù)。顧名思義，這是傳遞值（或回調(diào)）的地方。

無論這些回呼中發(fā)生什麼，monad 都會(huì)包裝它，這似乎是裝飾值和重構(gòu)程式碼的強(qiáng)大方法。

程式碼可讀性更好嗎？

這顯然取決於實(shí)現(xiàn)，一開始很容易迷失。

但是，這種替代方法可以顯著減少 if 區(qū)塊的數(shù)量，並使回傳值更一致：

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 - monad

優(yōu)點(diǎn)和缺點(diǎn)

優(yōu)點(diǎn)

• ? 有不同用途的各種 monad ： Maybe、Either、Logger、List、Reader 等
• ? monad 允許使用更好的類型包裝程式碼，這可能會(huì)改善靜態(tài)分析
• ? PHP 不為此提供內(nèi)建構(gòu)造，因此實(shí)作完全取決於開發(fā)人員

缺點(diǎn)

• ? PHP 不為此提供內(nèi)建結(jié)構(gòu)（例如泛型），因此實(shí)作完全取決於開發(fā)人員
• ?它並沒有簡(jiǎn)化程式碼

更進(jìn)一步

• 使用 monad、monad 轉(zhuǎn)換器和 Cats MTL 進(jìn)行功能性錯(cuò)誤處理
• PHP 中的 Monad 和用法
• PHP 函數(shù)式程式設(shè)計(jì)

包起來

希望您現(xiàn)在對(duì) PHP monad 有更多了解。

當(dāng)然，您不應(yīng)該僅僅為了專案而添加花哨的設(shè)計(jì)模式。

此外，雖然這是一個(gè)全新的範(fàn)例，但很容易錯(cuò)過要點(diǎn)並專注於非常具體的方面，例如錯(cuò)誤處理。

然而，發(fā)現(xiàn)新方法仍然令人耳目一新。我們需要跳出框框思考。

以上是PHP：?jiǎn)巫拥脑敿?xì)內(nèi)容。更多資訊請(qǐng)關(guān)注PHP中文網(wǎng)其他相關(guān)文章！