Modelos de Máquina Abstrata de Programador: Compreendendo a Meta do Software
Este artigo explora os "Modelos de Máquina Abstrata" (AMMs) que os programadores utilizam ao escrever software. O autor relata experiências pessoais ao projetar ferramentas de programação, destacando a íntima conexão entre a arquitetura de hardware e as linguagens de programação. Ele argumenta que o AMM mental de um programador não é simplesmente um modelo de linguagem ou hardware, mas uma abstração que incorpora comportamentos extra-funcionais, como tempo, memória e E/S. Analisando linguagens como Haskell, o autor diferencia entre modelos descritivos e modelos de especificação e detalha a aplicação de AMMs em várias linguagens de programação e plataformas de hardware. O artigo explora ainda os papéis dos AMMs na avaliação de habilidades de programação e na construção de ecossistemas de software, analisando como diferentes tipos de designers de linguagens influenciam os AMMs. Finalmente, o autor resume a importância dos AMMs na engenharia de software e aponta para futuras direções de pesquisa.
Leia mais