c++ - tipos - ¿Qué es una doble evaluación y por qué debería evitarse?

tipos - Evaluación diferida en C++ 14/17-¿solo lambdas o también futuros, etc.?

scala - tipos - ¿Cuándo se evalúa exactamente la cabeza de un arroyo?