在 C# 中使用 Language-Ext 链接返回 Either 的异步操作

Question

我正在为 C# 使用 Language-Ext 库，并且我正在尝试链接返回 Either 类型的异步操作。假设我有三个函数，如果它们成功则返回一个整数，如果失败则返回一个字符串，另一个函数将前三个函数的结果相加。在下面的示例实现中，Op3 失败并返回一个字符串。

public static async Task<Either<string, int>> Op1()
{
    return await Task.FromResult(1);
}

public static async Task<Either<string, int>> Op2()
{
    return await Task.FromResult(2);
}

public static async Task<Either<string, int>> Op3()
{
    return await Task.FromResult("error");
}

public static async Task<Either<string, int>> Calculate(int x, int y, int z)
{
    return await Task.FromResult(x + y + z);
}

我想链接这些操作，我正在尝试这样做：

var res = await (from x in Op1()
                 from y in Op2()
                 from z in Op3()
                 from w in Calculate(x, y, z)
                 select w);

但是我们的代码无法编译，因为我收到了 cannot convert from 'LanguageExt.Either<string, int>' to 'int' 的错误 Calculate 的参数。我应该如何链接这些函数？

Answer 1

问题在于 LINQ 查询无法确定要使用哪个版本的 SelectMany，因为第二行中没有使用 x。您可以通过将 Task<Either<L, R>> 转换为 EitherAsync<L, R> 来解决此问题：

    public static async Task<int> M()
    {
        var res = from x in Op1().ToAsync()
                  from y in Op2().ToAsync()
                  from z in Op3().ToAsync()
                  from w in Calculate(x, y, z).ToAsync()
                  select w;

        return await res.IfLeft(0);
    }

或者，不是返回Task<Either<L, R>>，而是返回EitherAsync<L, R>：

    public static EitherAsync<string, int> Op1() =>
        1;

    public static EitherAsync<string, int> Op2() =>
        2;

    public static EitherAsync<string, int> Op3() =>
        3;

    public static EitherAsync<string, int> Calculate(int x, int y, int z) =>
        x + y + z;

    public static async Task<int> M()
    {
        var res = from x in Op1()
                  from y in Op2()
                  from z in Op3()
                  from w in Calculate(x, y, z)
                  select w;

        return await res.IfLeft(0);
    }

Answer 2

x、y 和 z 不是 int 类型，而是 Either<string, int> 更改 Calculate(int x, int y, int z) 以接受 Either 调用实例：Calculate(Either<string, int> x, Either<string, int> y, Either<string, int>z)，或通过

x.{The int getter property}