José María Vega Gertrudix (jomaveger) nos ha enviado este artículo sobre dos interesantes temas que nos ayudarán a mejorar nuestra forma de programar:

Los tipos abstractos de datos ("tipo de datos que se define mediante una especificación que es independiente de cualquier implementación"): cómo definirlos formalmente y cómo implementarlos en el lenguaje Java.

El diseño por contrato que el autor resume en “Si usted me promete llamar a m con pre satisfecho entonces yo le prometo entregar un estado final en el que post es satisfecho.”. Si bien, una de las carencias de Java es la falta de soporte out-of-the-box para este tipo de diseño, José María nos muestra mediante un ejemplo de que forma se puede implementar usando los mecanismos propios del lenguaje.

Aunque a primera vista el artículo puede parecer muy académico, la verdad resulta muy interesante para definir estos dos conceptos que se estudian en la carrera pero que pocas veces vemos implementados en la práctica. En este caso, José María no se queda en la teoría y nos lleva de la mano para ver cómo aplicarlos con el lenguaje Java.

See website for complete article licensing information.