我们需要C#中的不动点组合子吗?

请注意,问题中给出的第二种方法涉及在引入变量后更改变量的值,使其不是“纯”函数编程。 只有当你的函数演算系统没有一个内置的函数概念,在定义完全定义之前,可以通过名称引用它自己的定义,Y-combinator才是必要的。C#有两种方法可以直接做到这一点:1。最初将函数变量定义为null和2。声明一个普通的命名方法(到目前为止是首选技术)。

我认为,使用一个名为Recursive的额外实用程序类,它可以相当优雅,如下所示:

public static class Recursive {
            public static Func<R> Func<R>(
                Func<Func<R>, Func<R>> f) { 
                return () => f(Func(f))(); }
            public static Func<T1, R> Func<T1, R>(
                Func<Func<T1, R>, Func<T1, R>> f) { 
                return x => f(Func(f))(x); }
            public static Func<T1, T2, R> Func<T1, T2, R>(
                Func<Func<T1, T2, R>, Func<T1, T2, R>> f) {
                return (a1, a2) => f(Func(f))(a1, a2);
            }
            //And so on...
        }

class Program {

    static void Main(string[] args) {

        Console.WriteLine(
            Recursive.Func<int, int>(factorial =>
                x => x == 0 ? 1 : factorial(x - 1) * x
            ) 
            (10)
        );

        Console.WriteLine(
            Recursive.Func<int,int,int>(gcd =>
                (x,y) => 
                    x == 0 ? y:
                    y == 0 ? x:
                    x > y  ? gcd(x % y, y):
                    gcd(y % x, x)
            )
            (35,21)
        );
    }
}

static Func<int, int> Factorial = (n) => n <= 1 ? 1 : n*Factorial(n - 1);

“需要”是什么意思?C#不需要它们,因为您不应该在C#中尝试这种函数式编程。这只是一条通往痛苦的道路。

记忆递归函数是一个需要定点组合器的地方。比较一下这个 C# 到 Haskell .

因此,在C#“需要”这一点之前,需要做大量的工作才能使这类编程合理实用。