Los combinadores de SKI se utilizaron como la técnica de implementación de Miranda, un lenguaje funcional vago desarrollado por David Turner. La estrategia de reducción que busca es simplemente realizar las reducciones de izquierda a derecha (también conocido como orden normal o reducción de llamada por nombre). Esto se llama reducción del combinador de SKI , y es naturalmente flojo. Si existe una secuencia de reducción de normalización, entonces esta estrategia de reducción la encontrará.
Un problema con los combinadores de SKI es que tienen la desafortunada propiedad de provocar un aumento exponencial en el tamaño del código durante la reducción.
Ver:
DA Turner. Una nueva técnica de implementación para lenguajes aplicativos. Suave. Pract. y Exper., 9, págs. 31-49, 1979.
Lambda-Calculus and Combinators: An Introduction, Second Edition por JR Hindley y JP Seldin