Pues lo obvio,lo que ya se ha repetido hasta la saciedad desde Dijsktra, Knuth, etc que la programación es un campo aplicado de las matemáticas, y que por tanto la corrección de un programa debe ser probada matemáticamente. Porque si no, no se hace programación, sino tomarle el pelo a la gente programando sencilladas que valen para lo que valen, para ganar dinero engañando al prójimo.
Así que lo primero saber de álgebra, teoría de grupos y categorias y esas cosillas para entender lo que es demostrar que el programa que hagas va a ser correcto antes de darle al run o que no casque de manera imprevista 1 mes después. Qué tipo de programación permite esto, pues la que tenga detrás una prueba matemática (funcional, declarativa y parte de la procedural con el formalismo de los triples Hoare) . La OOP desde luego no, carece de toda prueba matemática que evite pegarse tiros en la cabeza todo el rato. Mira tú por donde, es precisamente la fruta hez que causa furor en las corporaciones y empresas , la fruta hez esa de la OOP.
Desde luego donde hay sistemas críticos, a nadie se le pasa por la cabeza hacer OOP. EL llamado mercado informático, es por eso en su inmensa mayoría un chiringuito vendeburras que no hay por donde cogerlo.
? ¿Eres simple?
