通过函数组合推断泛型类型

Question

假设我想实现一个函数组合，如下所示：

    public Func<T,T> Compose<T>(Func<T,T> f, Func<T,T> g)
    {
        return new Func<T,T>( x => f(g(x)));
    }

现在在实践中，我可以像这样使用此 Compose() fn：

    public String ToUpper(String s) { return s.ToUpper(); }        
    public String Replicate(String s) { return s+s; }

    public void Run()
    {
        var h = Compose<String>(ToUpper, Replicate);
        System.Console.WriteLine("{0}", h("fred"));
    }

结果是 FREDFRED。

有没有办法使用更简单的语法来调用 Compose？我尝试这样：

        var h = Compose(ToUpper, Replicate);

...但我收到编译错误：

错误CS0411：无法从用法中推断出方法“FunctionalTest.Compose(System.Func, System.Func)”的类型参数。尝试显式指定类型参数。

很好理解。我想知道是否可以以不同的方式声明它并使推论真正起作用。

---

编辑
问题的根源：我正在观看本科生函数式编程课程的在线讲座，加州大学伯克利分校的CS61A。 （在 youtube 上找到它）。我没有接受过任何关于 FP 的正式培训，我想我可能会学到一些东西。教授使用了scheme，他谈到scheme + lisp是纯粹的函数式语言，而其他语言则不然。他特别指出 Pascal、C、C++ 和 Java（但不是 C#）缺乏函数式能力，并表示用这些语言进行函数式组合会很困难（“如果不倒立”）。他断言函数指针（在 C、C++ 中可用）与函数“实体”（即 lambda）不同。我明白了。

有趣的是 - 他没有提到 Javascript 或 C#，我认为它们是主流语言，两者都具有相当好的功能。 （我不认识 F#。）

我觉得奇怪的是，这是去年（14 个月前）的讲座，但他似乎不了解主流现代语言的功能方面。

所以我正在跟着做练习，但我没有使用 schema 或 lisp，而是使用 C#。并且还用 Javascript 完成了其中的一些工作。

无论如何，感谢大家的高质量回复。

Answer 1

您也可以传递Compose参数，并让它实际评估函数；在这种情况下它应该能够推断出参数类型。 （不过，您可能仍然需要指定返回类型。）

除此之外，不，没有办法在 C# 中推断出这样的事情。

Answer 2

添加到 lasseespeholt 的答案中，如果您将 Compose 定义为扩展方法（重命名为“Then”，以便结果更有意义）：

public static Func<T, T> Then<T>(this Func<T, T> f, Func<T, T> g)
{
    return x => g(f(x));
}

您可以使其变得流畅：

var h = toUpper.Then(replicate); // .Then(trim) etc...

Answer 3

以下代码可以工作：

Func<string, string> toUpper = ToUpper;
Func<string, string> replicate = Replicate;

// now the compiler knows that the parameters are Func<string, string>
var h = Compose(toUpper, replicate);

因此，也许您仍然可以通过仅定义这些变量一次并在整个测试中重用它们来获得您正在寻求的可读性改进（我假设这是一个测试实用程序...）

Answer 4

我喜欢 Ran 的回答（+1），但我认为这使它更加简洁和漂亮。 （假设您可以按如下方式重新定义函数。）

Func<string, string> toUpper = s => s.ToUpper();
Func<string, string> replicate = s => s + s;

var h = Compose(toUpper, replicate);