languageExt 和类型推断

Question

（与my previous question相关）

我正在使用 C# 中的语言扩展库并试图让 Tasks 返回 Either 值以正确组合并且在类型推断方面遇到困难。它只是没有按照我的预期进行。

这里涉及到三种方法：

• Initialization：返回Task<Either<Exception, ADUser>>
• createUserMapping：接受ADUser 并返回Either<Exception, UserMapping>
• AddUser：接受 UserMapping 并返回 Task<Either<Exception, int>>

我想返回AddUser 的结果。看起来很简单。不过，不知何故，这些类型并没有排成一行。

我现在拥有的是这样的：

return Initialization
    .Bind(eu => eu.Bind(createUserMapping).AsTask())
    .Bind(eu => eu.Bind(async u => await AddUser(u)));

但是，虽然 Intellisense 告诉我最后一个异步 lambda 中的 u 是 UserMapping 类型，但当它被传递到 AddUser 调用时，我得到了错误：

Argument 1: cannot convert from 'System.Exception' to 'UserMapping'

为什么编译器在 lambda 开始时对参数的类型没有混淆？有没有更好的方法让它发挥作用？

我尝试过使用BindT 以及LINQ 表达式的变体。我似乎无法解决这个问题。

Answer 1

好吧，我不知道为什么 Bind 会这样，但我确实找到了一个可行的解决方案。我现在没有直接调用AddUser，而是有一个新的本地方法addUser，它接受Either 并处理请求。它看起来像这样：

    private async Task<Either<Exception, int>> addUser(Either<Exception, UserMapping> eu)
    {
        var nestedTask = eu.Map(u => uow.ControllerRepository.AddUser(u));

        var rv = nestedTask.Match(
            Right: t => identity(t),
            Left: e => Left<Exception, int>(e).AsTask());
        return await rv;
    }

这里，nestedTask 的类型是 Either<Exception, Task<Either<Exception, int>>>。所以我在Match 中把它拆开，只返回Right 值或Left（异常），以Task<Either<Exception, int>> 的形式包装。

我还将createUserMapping 更改为Either，而不是UserMapping。

现在我的顶级转换序列如下所示：

    public async Task<Either<Exception, int>> AddUser(ADUser user)
    {
        return await Initialization
            .Bind(eadu => createUserMapping(eadu).AsTask())  // eadu: Either<Exception, ADUser>
            .Bind(eum => addUser(eum));                      // eum:  Either<Exception, UserMapping>
    }

我不知道为什么我最初的尝试没有奏效，但至少我现在有一个可行的解决方案。

如果有人能阐明我所面临的问题，我仍然想听听。

=== 编辑 4/5/17 ===

好的。问题是我使用的是旧版本的库（pre 2.0）。当我将库升级到最新的测试版（我希望避免测试版）时，我不再遇到问题了。

Answer 2

我想我会从language-ext issue you raised 发布解决方案，以防万一其他人被难住了。

public Task<Either<Exception, int>> Issue207() =>
    Initialization
        .BindT(createUserMapping)
        .BindT(addUser);

static Task<Either<Exception, ADUser>> Initialization =>
    Right<Exception, ADUser>(ADUser.New("test user")).AsTask();

static Either<Exception, UserMapping> createUserMapping(ADUser user) =>
    Right<Exception, UserMapping>(UserMapping.New(user.ToString() + " mapped"));

static Task<Either<Exception, int>> addUser(UserMapping user) =>
    Right<Exception, int>(user.ToString().Length).AsTask();

问题在于使用不匹配的一元类型。版本1.x 对转换器类型的容忍度较低，尤其是在提供给Bind 的委托中返回错误的转换器类型。 2.x 版本现在支持返回 BindT 的内部 monad 或外部 monad（而不仅仅是 1.x 上的内部 monad），这使代码看起来更漂亮。

在v1 和v2 上，Bind 函数只接受Either<L, R>（对于Either monad）和Task<A> 对于Task monad 的返回值（对于提供的绑定委托）。这是 Bind 的正确签名。在 v1 和 v2 中，还有大量代码生成的“转换器”扩展方法，允许您使用嵌套的单子 M1<M2<A>>（如 Task<Either<L, R>>）。这些转换器函数都有一个T 后缀（如BindT）。在版本 1 中，BindT 还具有代表返回 Either<L, R> 或 Task<A>（转换器的内部单子）的签名，而在 v2 中，每种转换器类型都有两个 BindT 扩展，一个返回内部单子（如v1）和一个允许返回外部单子的单子（即Task<Either<L, R>>）。所以我使用BindT 的解决方案只能使用v2。

你仍然可以在v1 中实现你想要的，只是它没有v2 解决方案那么有吸引力。您的原始解决方案的问题是，这个eu.Bind(async u => await AddUser(u)) 正在对eu 的Either 执行Bind，但eu 上的Bind 的返回类型应该是Either<L, R>。而你正在喂它Task<Either<L, R>>。所以这就是你看到你所做的错误的原因。

如上所述，v2 中的 BindT 接受嵌套 monad 的结果类型，这就是为什么返回 Task<Either<L, R>> 与 BindT 一起工作的原因。

使用函数式编程“遵循类型”总是很重要的（我发现）。它们是比 OO 世界更强大的真理。因此，如果事情不合适，那么它们要么需要映射到正确的类型，要么你有一个错误。