Yコンビネータとは何ですか? [closed] 質問する

Y コンビネータは、関数自体を参照できない場合に再帰を可能にする「関数」（他の関数を操作する関数）です。コンピュータ サイエンスの理論では、再帰を一般化し、その実装を抽象化して、問題の関数の実際の動作から分離します。再帰関数にコンパイル時に名前を付ける必要がないという利点は、一種のボーナスです。=)

これは、サポートしている言語に適用されます。ラムダ関数。表現ラムダの ベースの性質は、通常、名前で自分自身を参照できないことを意味します。そして、変数を宣言し、それを参照し、次にラムダをそれに割り当てて自己参照ループを完了するという方法でこの問題を回避することは脆弱です。ラムダ変数はコピーされ、元の変数が再割り当てされ、自己参照が壊れます。

Yコンビネータは実装が面倒で、多くの場合、静的型付け言語（手続き型言語多くの場合、型制約により、コンパイル時に問題の関数の引数の数を知る必要があるため、y コンビネータは使用する必要はありません。つまり、必要な引数の数に応じて y コンビネータを記述する必要があります。

以下は、C# での Y-Combinator の使用方法と動作の例です。

Y コンビネータを使用すると、再帰関数を構築するための「珍しい」方法が必要になります。まず、関数を、それ自体ではなく、既存の関数を呼び出すコードとして記述する必要があります。

// Factorial, if func does the same thing as this bit of code...
x == 0 ? 1: x * func(x - 1);

// A function that creates a factorial, but only if you pass in
// a function that does what the inner function is doing.
Func<Func<Double, Double>, Func<Double, Double>> fact =
  (recurs) =>
    (x) =>
      x == 0 ? 1 : x * recurs(x - 1);

// One-argument Y-Combinator.
public static Func<T, TResult> Y<T, TResult>(Func<Func<T, TResult>, Func<T, TResult>> F)
{
  return
    t =>  // A function that...
      F(  // Calls the factorial creator, passing in...
        Y(F)  // The result of this same Y-combinator function call...
              // (Here is where the recursion is introduced.)
        )
      (t); // And passes the argument into the work function.
}