Metadata
Author: WikiMatrix
Data
English[en]
Taking this simplification into account, the example above becomes: T = ... = (S (K (S I)) T) = (S (K (S I)) K) (by η-reduction) This combinator is equivalent to the earlier, longer one: (S (K (S I)) K x y) = (K (S I) x (K x) y) = (S I (K x) y) = (I y (K x y)) = (y (K x y)) = (y x) Similarly, the original version of the T transformation transformed the identity function λf.λx.(f x) into (S (S (K S) (S (K K) I)) (K I)).
Spanish[es]
Tomando esta simplificación en cuenta, el ejemplo arriba se convierte en: T = ... = (S (K (S I)) T) = (S (K (S I)) K) (por η-reducción) Este combinador es equivalente al anterior, más largo: (S (K (S I)) K x y) = (K (S I) x (K x) y) = (S I (K x) y) = (I y (K x y)) = (y (K x y)) = (y x) semejantemente, la versión original de la transformación T transformó la función identidad λf.λx.(f x) en (S (S (K S) (S (K K) I)) (K I)).