Combinador de punto fijo
El combinador de punto fijo (u operador de punto fijo ) es una función de orden superior que calcula el punto fijo de otra función.
El combinador de punto fijo más famoso es el combinador Y en cálculo λ , introducido por el famoso científico estadounidense Haskell Curry como
A veces, el nombre de este combinador se usa erróneamente para referirse a todos los combinadores de punto fijo en general.
Los lenguajes de programación que permiten el combinador de punto fijo permiten que las funciones anónimas sean recursivas sin asignar el valor de tal función a una variable.
Teorema del punto fijo
Tanto en el cálculo λ como en la lógica combinatoria, para cada término hay al menos un término tal que . Además, existe un combinador tal que
Véase también
Literatura
- Wolfenhagen VE Lógica combinatoria en programación. Cálculos con objetos en ejemplos y problemas. — M.: MEPhI, 1994. — 204 p.; 2ª ed., M .: JSC Center YurInfoR, 2003. - 336 p. ISBN 5-89158-101-9 .
- Mayer Goldberg, (2005) Sobre la numerabilidad recursiva de los combinadores de punto fijo , Informe BRICS RS-05-1, Universidad de Aarhus
- Matthias Felleisen . Una conferencia sobre el por qué de Y Archivado el 29 de septiembre de 2007 en Wayback Machine .