理解 Monad 设计模式-js教程-PHP中文网

理解 Monad 设计模式

WBOY

发布： 2024-07-11 14:43:01

转载

1066人浏览过

理解 monad 设计模式

monad 是函数式编程中的一个强大概念，有助于管理副作用并维护干净、可组合的代码。

在这篇文章中，我们将使用 javascript 探索 maybe monad 设计模式，该模式用于处理可能失败或返回 null/undefined 的操作。

什么是 monad？

简单来说，monad 是一种设计模式，允许您以一致的方式包装值、链式操作和处理副作用。

maybe monad 对于处理 null 或未定义的值特别有用，而不会用 null 检查乱扔代码。

实现 maybe monad

这个 monad 将包装一个值，并提供将函数应用于该值（如果存在）的方法。

// maybe monad implementation
class maybe {
    constructor(value) {
        this.value = value;
    }

    static of(value) {
        return new maybe(value);
    }

    isnothing() {
        return this.value === null || this.value === undefined;
    }

    map(fn) {
        return this.isnothing() ? maybe.of(null) : maybe.of(fn(this.value));
    }

    getorelse(defaultvalue) {
        return this.isnothing() ? defaultvalue : this.value;
    }
}

登录后复制

使用 maybe monad

让我们考虑一个执行除法但需要处理除零的函数。

const safeDivide = (numerator, denominator) => {
    return denominator === 0 ? Maybe.of(null) : Maybe.of(numerator / denominator);
};

const result = Maybe.of(10)
    .map(x => x * 2) // 20
    .map(x => x + 1) // 21
    .map(x => safeDivide(x, 0)) // Maybe(null)
    .getOrElse('Division by zero');

console.log(result); // Output: Division by zero

登录后复制

maybe monad 包装每个中间值，仅当该值不为 null 或未定义时才应用转换。

safedivide 函数返回一个 maybe monad，确保安全处理除以零。