Más allá de la OOP: La evolución de la subtipificación en los lenguajes de programación

Este artículo explora el papel crucial de la subtipificación en el diseño de lenguajes de programación. El autor, basándose en su experiencia en el desarrollo de varios lenguajes de programación, explica que la subtipificación no se limita a la herencia de clases en la programación orientada a objetos, sino que es un concepto mucho más fundamental: el tipo X es un subtipo del tipo Y si un valor del tipo X puede usarse dondequiera que se espere un valor del tipo Y. El artículo explica claramente por qué la subtipificación es crucial incluso en lenguajes de bajo nivel orientados al rendimiento, permitiendo que el compilador compruebe estáticamente valores nulos, alias y otros problemas, mejorando así la fiabilidad del código y, en última instancia, impulsando la evolución de los lenguajes de programación.