Yコンビネータ

Yコンビネータ

Curryの不動点演算子

Haskellでは次のように1行で書ける.

.

y f = f (y f)