"Hace diez años, los investigadores en métodos formales (y yo era el más confundido entre ellos) predijeron que el mundo de la programación adoptaría agradecido todas las ayudas prometidas por la formalización para resolver los problemas de fiabilidad que surgen cuando los programas se vuelven más grandes y su seguridad es más crítica. Los programas ahora han llegado a ser muy grandes y muy críticos - mucho más allá de la escala que puede ser cómodamente abordada por los métodos formales. Hubo muchos problemas y fracasos, pero éstos casi siempre han sido atribuibles a un análisis inadecuado de los requisitos o a un inadecuado control de gestión. Se ha comprobado que el mundo simplemente no sufre significativamente del tipo de problemas que nuestra investigación estaba originalmente destinada a resolver."
Charles Antony Richard Hoare
De la Wikipedia
"La llamo mi error de mil millones de dólares. Fue la invención de la referencia nula en 1965. En ese momento, yo estaba diseñando el primer sistema de tipos integral para referencias en un lenguaje orientado a objetos (ALGOL W). Mi objetivo era asegurar que todo uso de referencias fuera absolutamente seguro, con verificaciones realizadas automáticamente por el compilador. Pero no pude resistir la tentación de poner en una referencia nula, simplemente porque era tan fácil de implementar. Esto ha dado lugar a innumerables errores, vulnerabilidades y fallos de sistemas, lo que probablemente ha causado un billón de dólares de dolor y daños en los últimos cuarenta años."
Sir Charles Antony Richard Hoare, más conocido como Tony Hoare
Hablando en una conferencia en 2009, Hoare se disculpó por haber inventado de la referencia nula
De la Wikipedia
“No le puedes enseñar a los principiantes la programación de arriba a abajo, porque no saben cual extremo es arriba.”
Charles Antony Richard Hoare o C. A. R. Hoare
No hay comentarios:
Publicar un comentario