Além da OOP: A Evolução da Subtipagem em Linguagens de Programação
Este artigo explora o papel crucial da subtipagem no design de linguagens de programação. O autor, com base em sua experiência no desenvolvimento de várias linguagens de programação, explica que a subtipagem não se limita à herança de classes na programação orientada a objetos, mas é um conceito muito mais fundamental: o tipo X é um subtipo do tipo Y se um valor do tipo X pode ser usado onde quer que um valor do tipo Y seja esperado. O artigo explica claramente por que a subtipagem é crucial mesmo em linguagens de baixo nível orientadas a desempenho, permitindo que o compilador verifique estaticamente valores nulos, aliasing e outros problemas, melhorando assim a confiabilidade do código e, por fim, impulsionando a evolução das linguagens de programação.