Y combinator

Summary

Y combinator is a fixed-point combinator^[1]. It draws 63 Wikipedia views per month (fixed_point_combinator category, ranking #1 of 1).^[2]

Key Facts

• Y combinator is credited with the discovery of Haskell Curry^[3].
• Y combinator's instance of is recorded as fixed-point combinator^[4].
• Y combinator's defining formula is recorded as \textsf{Y} = \lambda f. \ (\lambda x.f\ (x\ x))\ (\lambda x.f\ (x\ x))^[5].
• Y combinator's maintained by WikiProject is recorded as WikiProject Mathematics^[6].

Body

Works and Contributions

Y combinator is credited with the discovery of Haskell Curry^[3].

Why It Matters

Y combinator draws 63 Wikipedia views per month (fixed_point_combinator category, ranking #1 of 1).^[2]