从Wiki Monad检索记录消息不起作用

Question

我正在学习有关单调的信息。我阅读此wiki page 彻底到达 prograge> progragging 部分。我决定在C＃中实施。

一个示例以两个简单的函数/方法开头，该函数/方法仅将整数值作为函数参数并返回另一个整数值。

然后，它描述了一个方案，其中需要在这些功能/方法中执行一些记录：

，但是假设我们正在调试程序，我们想向FOO和BAR添加记录消息。因此，我们更改类型：

    foo : int -> int * string
    bar : int -> int * string

以便两个功能都以应用程序为整数的结果返回元组，以及带有有关应用功能的信息的记录消息，以及所有先前应用的功能作为字符串。

然后，Wiki解释了不再可能使用此方法签名方法链的问题（因为输入和输出类型不是相同的）。

然后，该示例通过添加一个辅助函数/方法称为 bind ：

    bind : int * string -> (int -> int * string) -> int * string

该方法是在两个参数中进行的：

1. 一个元组（整数和日志消息字符串
2. ）该本身具有一个函数参数（类型整数）和元组的返回值。

...并返回元组。

关于此辅助功能/方法提供的解释非常困难，但实际上是有道理的：

bind 插入整数和字符串元组，然后将功能（例如 foo ）映射到整数到整数和字符串元组。它的输出是一个整数和字符串元组，这是将输入函数应用于输入整数和字符串元组中的整数的结果。这样，我们只需要编写样板代码即可从一次元组中提取整数， bind 。

。

然后结论：

现在我们恢复了一些合成性。例如： 绑定（绑定（x，s）bar）foo

因此，我已经在C＃App：...中构建了所有这些内容：

public static void Run()
{
    var resultOne = Bind(Bind(new(10, "Test"), BarWithLogging), FooWithLogging);
}

public static (int, string) FooWithLogging(int x)
{
    return (x, "Log from Foo");
}

public static (int, string) BarWithLogging(int x)
{
    return (x, "Log from Bar");
}

public static (int, string) Bind((int x, string s) tuple, Func<int, (int, string)> function)
{
    return function(tuple.x);
}

...问题是我的记录功能是没有意义的。首先，我们必须将元组传递给 bind 函数/方法，并且元组包含一个日志消息。但是我认为应该从函数/方法和 bar 中创建日志消息（在我的情况下代码>）不是吗？如果是这样，这是否意味着我们只需要将一个虚拟日志消息元组传递给绑定功能？似乎答案是 no ，因为稍后，在该示例中，当我们想创建一个空日志时不必传递空日志消息时，有另一个步骤解决了情况。这意味着，如果我们想记录一个不是空的东西，那么我们会传递一条非空的消息（因此，非空消息将因此记录下来）。

...在这种情况下，我们如何将该日志消息值传递给 foo 函数？它仅接受整数！而且，由于它返回元组（具有日志消息值），它使我得出一个结论，即在 foo 函数中生成了实际日志消息；但这与我以前的结论相矛盾！

我想念什么？如何实现该单调的概念，以便我从记录功能中受益？

提前致谢。

Answer 1

Wikipedia文章部分看起来有些混乱。通常，您会使用状态单元进行类似的东西，但是Wikipedia文章的那一部分使用本质上是'tuple functor的东西，只有当'额外'数据形成a

幸运的是，字符串引起了串联的单调，这也是为什么Wikipedia文章可以通过Monadic return> return 来摆脱定义（x，“”）：空的原因。字符串（“” ）是字符串串联monoid的身份。

这也意味着，为了能够通过绑定方法同时携带现有和新的“日志”字符串，您需要使用单型二进制操作。对于字符串串联，就是这样：串联。

因此， bind 函数应该看起来像这样：

public static (int, string) Bind((int x, string s) tuple, Func<int, (int, string)> function)
{
    var newTuple = function(tuple.x);
    return (newTuple.x, tuple.Snd + newTuple.Snd);
}

我没有尝试编译此功能，因此可能会有错字，但我希望它可以说明这一点。

另一个选项是以相反的顺序连接： newtuple.snd + tuple.snd 。

由于看起来您正在使用C＃，因此您可能会发现我的文章系列有用。我将在几周内到达州单元，但是今天您可以偷看状态函数。