在 null/undefined 的情况下是否可以链接 Maybe？

Question

有一个给定的功能，它是固定的，不能改变：

const validate = v => v === "fred" ? "Y" : undefined

现在，因为我想使用功能并且想避免空检查，所以我决定使用Maybe (ramda-fantasy) 进行验证功能：

const vv = val => Maybe(val).map(v=> validate(v)).getOrElse("N")

如果用"fred" 调用vv，则应返回Y，否则返回N。

• vv(null) 返回N -> 好的
• vv("fred") 返回Y -> 好的
• vv("ding") 返回 undefined -> 错误，应为 N

问题是，Maybe.map 总是返回 Just，我不明白（因为我只是在学习它）。对我来说，如果此函数的行为方式与返回 None 或 Just 的 Maybe(val) 类似，我将受益匪浅。

我有两个问题：

1. 为什么Maybe.map 不处理空/未定义？
2. 如何重写vv 使其在所有三种情况下都返回预期值？

编辑：我想解释一下为什么不应该更改 validate：它只是来自外部库的函数的简单示例。我想看看将这些库集成到函数式编程中的难易程度。所以不是关于字符串操作，只是关于在某些时候它评估为 null 时的流式值。

EDIT2：

这解决了我的问题：

Either.ofNullable = Either.prototype.ofNullable = function (value) {
    return value == null ? Either.Left("is null") : Either.Right(value);
};

编辑3： 我已经实现了自己的 Either，但缺少功能：https://github.com/maciejmiklas/functional-ts/blob/main/src/either.ts

Answer 1

注意：Ramda Fantasy 是no longer maintained。团队建议您使用这些概念的其他实现。

---

但我们仍然可以回答这个问题，因为任何合理的Maybe 实现都可能是这样的

基本上，Maybe 的设计初衷并非如此。这个想法是你可以有一个 Justhold absolutely any 值。这包括值null 和undefined。

Ramda 添加了一个方便的构造函数Maybe (val)，如果 val 不是 nil 值，它将变成 Just (val)，如果是，则变成 Nothing ()。但这并不意味着您不能创建Just (null)。主要的构造技术是使用静态Maybe .of。你可以注意到

Maybe (null)    //=> Nothing ()
Maybe.of (null) //=> Just (null)

所以我们可能不会让这种技术发挥作用。我们不能只是 map 这样一个现有的 validate 而不是我们的 Maybe 并期望它能够工作。但是，我们可以使用这样的版本：

const validate = v => v === "fred" ? Just ("Y") : Nothing ()

在这里，我们还有一个问题。 Maybe ('fred') .map (validate) 产生 Just (Just ('Y'))。我们有额外的嵌套。但这正是chain 的用途。它删除了这样一个额外的级别，因此Maybe ('fred') .chain (validate) 产生Just ('Y')。然后我们可以使用它like this:

const validate = v => v === "fred" ? Just ("Y") : Nothing ()
const vv = val => Maybe (val) .chain (validate) .getOrElse ('N')

console .log ([
  vv (null),   // 'N'
  vv ('fred'), // 'Y' 
  vv ('ding')  // 'N'
])