Estoy leyendo Coders at Work , y en él se habla mucho de invariantes. Por lo que he entendido, una invariante es una condición que tiene tanto antes como después de una expresión. Son, entre otras cosas, útiles para demostrar que ese ciclo es correcto, si recuerdo mi curso de lógica...
Esta es la forma más popular (me parece) de verificar si un valor está en una matriz: for (int x : array) { if (x == value) return true; } return false; Sin embargo, en un libro que leí hace muchos años por, probablemente, Wirth o Dijkstra, se dijo que este estilo es mejor (en comparación...
Entiendo 'invariante' en su sentido literal. También los reconozco cuando escribo código. Pero no creo entender la importancia de este término en el contexto de la informática. Cada vez que leo conversaciones \ informes sobre diseño de lenguaje de programadores famosos \ informáticos, el término...
Cuando aprendí C ++ hace mucho tiempo, me enfatizaba mucho que parte del punto de C ++ es que al igual que los bucles tienen "invariantes de bucle", las clases también tienen invariantes asociados a la vida útil del objeto, cosas que deberían ser ciertas mientras el objeto esté vivo. Cosas que...
Soy consciente de que el concepto de invariantes existe en múltiples paradigmas de programación. Por ejemplo, los invariantes de bucle son relevantes en la programación OO, funcional y de procedimiento. Sin embargo, un tipo muy útil que se encuentra en OOP es una invariante de los datos de un tipo...