将 F# 函数部分应用程序转换为 C#

Question

我正在翻译这个F# source 用于面向铁路的编程to C#。

我在翻译这个SelectMany 过载时遇到了问题：

  static member inline SelectMany (this:Result<'TSuccess, 'TMessage>, func: Func<_,_>, mapper: Func<_,_,_>) =
    let mapper = lift2 (fun a b -> mapper.Invoke(a,b))
    let v = bind func.Invoke this
    mapper this v

我已经用上面的映射了函数签名：

  public static Result<TResult, TMessage> SelectMany<TSuccess, TMessage, TValue, TResult>(
    this Result<TSuccess, TMessage> result,
    Func<TSuccess, Result<TValue, TMessage>> func,
    Func<TSuccess, TValue, TResult> mapperFunc)

F# lift2 函数（我认为我正确地 translated）接受带有签名 ('a -> 'b -> 'c) 的函数作为第一个参数，但是当绑定到 mapper 与部分应用程序绑定时，我有问题理解使用的 lambda 函数。

我通常将these helpers 用于部分应用程序，但我无法将此 F# 代码转换为 C#。

Answer 1

您的 Lift2 需要一个柯里化函数，但传递给 SelectMany 的映射器没有柯里化。所以让我们咖喱吧：

Func<TSuccess, Func<TValue, TResult>> curriedMapper = suc => val => mapperFunc(suc, val);
Func<
    Result<TSuccess, TMessage>, 
    Result<TValue, TMessage>, 
    Result<TResult, TMessage>
> liftedMapper = (a, b) => Lift2(curriedMapper, a, b);
var v = Bind(func, result);
return liftedMapper(result, v);

Answer 2

一般来说，lift2 接受两个简单类型参数 'a 和 'b 的函数，并生成一个适用于包装类型 M<'a> 和 M<'b> 的函数。否则，您可以将其视为采用三个参数：一个简单类型的函数和两个包装值，解包这些值，将函数应用于它们并包装结果。

假设您的函数从 F# 正确移植，SelectMany 的主体将如下所示：

return Lift2(mapper, this, Bind(func, this));

奇怪的Invokes 在 F# 版本中有，因为Funcs 不像在 C# 中那样适用，你必须显式调用Invoke。此外，由于它是非咖喱的，mapper.Invoke 不能直接传递给 lift2 - 这就是它被包装在咖喱函数中的原因。