目录
PHP 2024 论坛
spO0q ?? ・ 10 月 13 日

PHP:单子

Nov 02, 2024 pm 09:09 PM

这篇文章的灵感很大程度上来自 Gina Banyard 在“FORUM PHP 2024”上的技术演讲:

用 3 个简单的同义词揭开 Monad 的神秘面纱

让我们从一些同义词开始:

  • 容器
  • 包装
  • 设计模式

如果你用谷歌搜索“PHP monads”,其他概念会很快出现,比如函数式编程、绑定、堆栈,甚至深奥的数学(例如函子、幺半群)。

别害怕。

从本质上讲,Monad 是一种可以通过多种方式实现的模式。

设计模式

当您要运行一些操作时,您可以像往常一样简单地定义自定义对象和助手。

那么,为什么要费心考虑替代概念呢?

恕我直言,这仍然是一个好问题,因为您需要保持效率,但经典方法存在常见的局限性:

  • 操作顺序很重要
  • 湿代码
  • 例外

Monad 可以更一致地处理可选(或尚不可用)值。

Monad 与经典错误处理/异常

现代项目包含静态分析工具,但 PHP 异常没有类型化。

也就是说,工具无法检测函数签名中的异常,因此无法判断代码是否正确处理异常。

为了测试这一点,开发团队通常会编写功能测试,但通过静态分析进行早期检测会更可靠。

来源:“Les Exception:le trou dans la raquette du typepage”(fr)

使用 Monads,您在所有情况下都会获得一个类型化对象,例如自定义枚举情况(例如 FileErrors::AccessDenied),因此错误会在系统中键入。

实现 Logger Monad

构建强大的日志系统可能具有挑战性。复制字符串和调用很容易。

您可能会定义一个名为 log() 的自定义帮助程序,并在项目中的任何地方使用它,而不是对所有内容进行硬编码。

这旨在保持代码干燥,但可能不允许在特定情况下组合更复杂的函数。

函数式方法不包括使用这样的全局帮助器。相反,它宁愿实现一个 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(...)
));
登录后复制

来源:“Monades simplement”,作者:Gina Banyard (fr)

什么是绑定?

??宝贝别伤害我

Monad 旨在包装值,可以是任何类型,包括对象和函数。

与任何其他包装系统一样,您会发现一个将此值作为输入的构造函数(〜类)以及一些根据您尝试实现的模式有其自己用途的方法。

但是,所有 Monad 都包含绑定函数。顾名思义,这是传递值(或回调)的地方。

无论这些回调中发生什么,monad 都会包装它,这似乎是装饰值和重构代码的强大方法。

代码可读性更好吗?

这显然取决于实现,一开始很容易迷失。

但是,这种替代方法可以显着减少 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 - monad

优点和缺点

优点

  • ✅ 有不同用途的各种 monad : Maybe、Either、Logger、List、Reader 等
  • ✅ monad 允许使用更好的类型包装代码,这可能会改进静态分析
  • ✅ PHP 不为此提供内置构造,​​因此实现完全取决于开发人员

缺点

  • ❌ PHP 不为此提供内置结构(例如泛型),因此实现完全取决于开发人员
  • ❌它并没有简化代码

更进一步

  • 使用 monad、monad 转换器和 Cats MTL 进行功能性错误处理
  • PHP 中的 Monad 和用法
  • PHP 函数式编程

包起来

希望您现在对 PHP monad 有更多了解。

当然,您不应该仅仅为了项目而添加花哨的设计模式。

此外,虽然这是一个全新的范例,但很容易错过要点并专注于非常具体的方面,例如错误处理。

然而,发现新方法仍然令人耳目一新。我们需要跳出框框思考。

以上是PHP:单子的详细内容。更多信息请关注PHP中文网其他相关文章!

本站声明
本文内容由网友自发贡献,版权归原作者所有,本站不承担相应法律责任。如您发现有涉嫌抄袭侵权的内容,请联系admin@php.cn

热AI工具

Undresser.AI Undress

Undresser.AI Undress

人工智能驱动的应用程序,用于创建逼真的裸体照片

AI Clothes Remover

AI Clothes Remover

用于从照片中去除衣服的在线人工智能工具。

Undress AI Tool

Undress AI Tool

免费脱衣服图片

Clothoff.io

Clothoff.io

AI脱衣机

Video Face Swap

Video Face Swap

使用我们完全免费的人工智能换脸工具轻松在任何视频中换脸!

热门文章

<🎜>:泡泡胶模拟器无穷大 - 如何获取和使用皇家钥匙
4 周前 By 尊渡假赌尊渡假赌尊渡假赌
北端:融合系统,解释
4 周前 By 尊渡假赌尊渡假赌尊渡假赌
Mandragora:巫婆树的耳语 - 如何解锁抓钩
3 周前 By 尊渡假赌尊渡假赌尊渡假赌

热工具

记事本++7.3.1

记事本++7.3.1

好用且免费的代码编辑器

SublimeText3汉化版

SublimeText3汉化版

中文版,非常好用

禅工作室 13.0.1

禅工作室 13.0.1

功能强大的PHP集成开发环境

Dreamweaver CS6

Dreamweaver CS6

视觉化网页开发工具

SublimeText3 Mac版

SublimeText3 Mac版

神级代码编辑软件(SublimeText3)

热门话题

Java教程
1670
14
CakePHP 教程
1428
52
Laravel 教程
1329
25
PHP教程
1276
29
C# 教程
1256
24
说明PHP中的安全密码散列(例如,password_hash,password_verify)。为什么不使用MD5或SHA1? 说明PHP中的安全密码散列(例如,password_hash,password_verify)。为什么不使用MD5或SHA1? Apr 17, 2025 am 12:06 AM

在PHP中,应使用password_hash和password_verify函数实现安全的密码哈希处理,不应使用MD5或SHA1。1)password_hash生成包含盐值的哈希,增强安全性。2)password_verify验证密码,通过比较哈希值确保安全。3)MD5和SHA1易受攻击且缺乏盐值,不适合现代密码安全。

PHP和Python:比较两种流行的编程语言 PHP和Python:比较两种流行的编程语言 Apr 14, 2025 am 12:13 AM

PHP和Python各有优势,选择依据项目需求。1.PHP适合web开发,尤其快速开发和维护网站。2.Python适用于数据科学、机器学习和人工智能,语法简洁,适合初学者。

PHP行动:现实世界中的示例和应用程序 PHP行动:现实世界中的示例和应用程序 Apr 14, 2025 am 12:19 AM

PHP在电子商务、内容管理系统和API开发中广泛应用。1)电子商务:用于购物车功能和支付处理。2)内容管理系统:用于动态内容生成和用户管理。3)API开发:用于RESTfulAPI开发和API安全性。通过性能优化和最佳实践,PHP应用的效率和可维护性得以提升。

PHP类型提示如何起作用,包括标量类型,返回类型,联合类型和无效类型? PHP类型提示如何起作用,包括标量类型,返回类型,联合类型和无效类型? Apr 17, 2025 am 12:25 AM

PHP类型提示提升代码质量和可读性。1)标量类型提示:自PHP7.0起,允许在函数参数中指定基本数据类型,如int、float等。2)返回类型提示:确保函数返回值类型的一致性。3)联合类型提示:自PHP8.0起,允许在函数参数或返回值中指定多个类型。4)可空类型提示:允许包含null值,处理可能返回空值的函数。

PHP的持久相关性:它还活着吗? PHP的持久相关性:它还活着吗? Apr 14, 2025 am 12:12 AM

PHP仍然具有活力,其在现代编程领域中依然占据重要地位。1)PHP的简单易学和强大社区支持使其在Web开发中广泛应用;2)其灵活性和稳定性使其在处理Web表单、数据库操作和文件处理等方面表现出色;3)PHP不断进化和优化,适用于初学者和经验丰富的开发者。

PHP和Python:解释了不同的范例 PHP和Python:解释了不同的范例 Apr 18, 2025 am 12:26 AM

PHP主要是过程式编程,但也支持面向对象编程(OOP);Python支持多种范式,包括OOP、函数式和过程式编程。PHP适合web开发,Python适用于多种应用,如数据分析和机器学习。

您如何防止PHP中的SQL注入? (准备的陈述,PDO) 您如何防止PHP中的SQL注入? (准备的陈述,PDO) Apr 15, 2025 am 12:15 AM

在PHP中使用预处理语句和PDO可以有效防范SQL注入攻击。1)使用PDO连接数据库并设置错误模式。2)通过prepare方法创建预处理语句,使用占位符和execute方法传递数据。3)处理查询结果并确保代码的安全性和性能。

PHP和Python:代码示例和比较 PHP和Python:代码示例和比较 Apr 15, 2025 am 12:07 AM

PHP和Python各有优劣,选择取决于项目需求和个人偏好。1.PHP适合快速开发和维护大型Web应用。2.Python在数据科学和机器学习领域占据主导地位。

See all articles