如何用C#的LanguageExt实现Haskell式多TryAsync/EitherAsync绑定？

基础IO操作的对应实现 #

Haskell的do块是Monad的语法糖，用于按顺序绑定Monadic操作（比如IO）。在LanguageExt中，针对异步操作（对应Haskell的IO），可以通过两种方式实现相同逻辑：

方式1：LINQ查询语法（最贴近do块写法） #

LanguageExt的异步Monad类型（如IO<A>、EitherAsync<L,R>）实现了LINQ的SelectMany接口，因此可以用from语法模拟do块的顺序绑定：

using LanguageExt;
using static LanguageExt.Prelude;

// 模拟Haskell中的IO操作
IO<int> IOaction1 = IO(() => 10);
IO<int> IOaction2 = IO(() => 20);

// 对应Haskell的do块逻辑
IO<int> result = 
    from result1 in IOaction1
    from result2 in IOaction2
    select doSomethingWith(result1, result2);

// 定义处理函数
int doSomethingWith(int a, int b) => a + b;

方式2：Bind链式调用 #

这是do块的底层实现逻辑，直接通过Bind方法链式绑定操作：

IO<int> result = IOaction1.Bind(result1 => 
    IOaction2.Bind(result2 => 
        IO(doSomethingWith(result1, result2))
    )
);

处理EitherAsync的绑定与解包 #

针对你提供的EitherAsync<string, int>类型的x和y，要解包两者的值并执行后续处理，有以下几种实现方式：

方式1：LINQ查询语法（最直观） #

using LanguageExt;
using static LanguageExt.Prelude;

EitherAsync<string, int> x = TryAsync<int>(() => throw new Exception()).ToEither(err => "sgp");
EitherAsync<string, int> y = TryAsync<int>(() => throw new Exception()).ToEither(err => "str");

// 解包x和y的值，执行相加操作
EitherAsync<string, int> combined = 
    from xUnwrapped in x
    from yUnwrapped in y
    select xUnwrapped + yUnwrapped;

方式2：Bind嵌套调用 #

通过嵌套Bind方法实现值的解包与传递：

EitherAsync<string, int> combined = x.Bind(xUnwrapped => 
    y.Bind(yUnwrapped => 
        RightAsync<string, int>(xUnwrapped + yUnwrapped)
    )
);

方式3：Apply组合（函数式风格） #

将处理函数柯里化后，通过Apply方法组合两个EitherAsync值：

// 定义柯里化的加法函数
Func<int, Func<int, int>> add = a => b => a + b;

// 把函数提升为EitherAsync，依次Apply x和y的值
EitherAsync<string, int> combined = 
    RightAsync<string, Func<int, Func<int, int>>>(add)
        .Apply(x)
        .Apply(y);

注意：如果x或y处于Left状态（操作失败），整个组合结果会直接返回第一个遇到的Left值，符合Either的短路特性。

内容的提问来源于stack exchange，提问作者Bercovici Adrian