好吧，*这*是一元的吗？

Question

我在面向文档的前面放置了一个安全层，并且我需要一种合理抽象的方式让应用程序定义哪些新文档以及对现有文档的哪些更新对于特定用户来说是合法的。

具体问题是 -- 文档被定义（至少在传输过程中）为 JSON 对象，因此规则可能是分层的，因此规则引擎必须递归工作。例如，Employee 对象可能有一个名为 Compensation 的子对象，并且该子对象有一个名为 PayPeriod 的字段，该字段必须是“每周”、“每两周”或“每月”之一。 -- 它运行 Node.js，一些规则需要从输入中读取（例如，从数据库中读取更多用户数据），因此它必须以连续方式运行。

所以我想到的是：每个规则都是一个函数，它接受当前值、建议的新值以及使用要使用的值调用的回调。该值可以是两个输入之一或由规则计算的某个第三值。这是一条规则：

var nonEmpty = function(proposedValue, existingValue, callback) {
    callback( (proposedValue.length > 0) ? proposedValue : existingValue);
};

该规则只允许您用非零长度值设置或替换该字段。当然，这只对字符串值有意义（暂时忽略列表，所以我们需要一个规则来强制字符串性）：

var isString = function(proposedValue, existingValue, callback) {
    callback( ( typeof(proposedValue) === 'string') ? proposedValue : existingValue);
};

事实上，这似乎是一个常见的问题，所以我编写了一个规则生成器：

var ofType = function(typeName) {
    return function(proposedValue, existingValue, callback) {
    callback( ( typeof(proposedValue) === typeName) ? proposedValue : existingValue);
    };
};

var isString = ofType('string')

但是我需要一种将规则串在一起的方法：

var and = function(f1, f2) {
    return function(proposedValue, existingValue, callback) {
    f1(proposedValue, existingValue, 
       function(newProposedValue) {
           f2(newProposedValue, existingValue, callback);
       });
    };
};

var nonEmptyString = and(isString, nonEmpty);

因此管理员更新员工记录的规则可能是：

limitedObject({
   lastName : nonEmptyString,
   firstName : nonEmptyString,
   compensation : limitedObject({
      payPeriod : oneOf('weekly', 'biweekly', 'monthly'),
      pay : numeric
  }
}) 

limitedObject（如ofType）是一个规则生成函数，它只允许在其参数中指定的字段并适用这些字段的值的给定规则。

所以我写了这一切，它就像一个魅力。我所有的错误都被证明是单元测试中的错误！嗯，几乎全部。不管怎样，如果你已经读到这里，我的问题是：

我一直在热衷于研究单子，我的阅读启发了我以这种方式解决问题。但是，这真的是一元吗？

（可能的答案：“是”、“不，但这没关系，因为单子并不是解决这个问题的正确方法”和“不，这就是需要改变的地方”。也欢迎第四种可能性。）

Answer 1

不，这似乎不是一元的。您定义的内容似乎是规则组合器的迷你 DSL，其中您有简单的规则，例如 ofType(typeName) 以及将规则组合成更大规则的方法，例如 <代码>和（规则1，规则2）。

为了拥有一个 monad，您需要一些可以在其中放置任何值的上下文概念。您还需要以下操作：

1. 一个函数 wrap(x)，用于将任何值放入某个默认上下文中。
2. 函数map(f, m)，用于应用函数f来转换m内的值而不改变上下文。
3. 用于将两层上下文扁平化为一层的函数flatten(mm)。

这些操作必须满足某些“明显”的法则：

1. 在外部添加一层上下文并折叠可以恢复到开始时的状态。

   展平(wrap(m)) == m
   

2. 在内部添加一层上下文并折叠可以让您回到开始时的状态。

   展平(map(wrap, m)) == m
   

3. 如果您的值具有三层上下文，那么先折叠两个内层还是先折叠两个外层并不重要。

   展平（展平（mmm））==展平（地图（展平，mmm））
   

也可以按照上面的 wrap 和另一个操作 bind 定义一个 monad，但这与上面的等效，因为您可以定义 bind< /code> 就 map 和 flatten 而言，反之亦然。

function bind(f, m) { return flatten(map(f, m)); }

# or

function map(f, m) { return bind(function(x) { return wrap(f(x)); }, m); }
function flatten(mm) { return bind(function(x) { return x; }, mm); }

目前尚不清楚上下文的概念是什么，以及如何将任何值转化为规则。因此，如何扁平化两层规则的问题就更没有意义了。

我认为单子在这里不是一个合适的抽象。

然而，很容易看出您的 和 确实形成了 monoid以始终成功的规则（如下所示）作为标识元素。

function anything(proposedValue, existingValue, callback) {
    callback(proposedValue);
}