非递归的 lambda抽象来定义，在 lambda演算中的函数都是匿名的。然而在命令式编程语言中的递归，或许限制只能以唿叫函数名称作为参数来实作。在函数式编程语言中的不动点，以 lambda抽象来定义的Y组合子为：则允许匿名函数足够逹成递归的作用，即递归函数。应用于带有一个变量的函数，Y组合子通常不会终止。将 Y组合子应用于二或更多个变量的函数，会获得更有趣的结果。第二个变量可当作计数器或索引。由此产生的函数行为，表现出如命令式语言中一个codice_1或codice_2回圈。这个组合子也是 Curr