Рет қаралды 7,422
El objetivo de estos procesos es depurar las condiciones que entran en conflicto e impiden las soluciones completas y óptimas.
El motor de GHC es muy potente y si la solución existe la acabará encontrando. El problema es que a priori no es posible saber siempre de forma rápida si la solución existe, y las condiciones que puedan impedir los resultados.