¿Hay alguna diferencia entre la evaluación perezosa y la evaluación de cortocircuito?
De Wikipedia:
En la teoría del lenguaje de programación, la evaluación perezosa es una estrategia de evaluación que retrasa la evaluación de una expresión hasta que se necesita su valor.
Evaluación de cortocircuito es:
La evaluación de cortocircuito, evaluación mínima o evaluación de McCarthy denota la semántica de algunos operadores booleanos en algunos lenguajes de programación en los que el segundo argumento solo se ejecuta o evalúa si el primer argumento no es suficiente para determinar el valor de la expresión
Entonces, ¿cuál es la diferencia entre ellos, por ejemplo, cuando tengo:
if(false && true && true) {
//boo
}
Que yo sepa, el compilador no ejecuta expresiones después defalse porque yo tengo&& entonces toda la expresión seráfalse finalmente. (¿Correcto?)
Así se llama ese comportamientoEvaluación perezosa oEvaluación de cortocircuito?