La implementación de la estrategia común para evaluación no estricta en los lenguajes funcionales es la de reducción mediante un grafo.