O Sistema de Tipos Tríplice do Common Lisp: Tipos, Classes e a Verdade da Máquina

Este artigo mergulha nos aspectos únicos do sistema de tipos do Common Lisp. Não é simplesmente estático ou dinâmico, mas uma interação sofisticada entre tipos, classes e a implementação subjacente da máquina. Os tipos regem a compatibilidade de chamadas de funções, a compatibilidade de campos de struct e otimizações do compilador; as classes ditam o despacho de métodos e a herança OO; enquanto a máquina esconde detalhes de implementação como tags de tipo. Através de exemplos, o artigo mostra como o Common Lisp equilibra a fluidez das linguagens dinâmicas com verificação de tipos em tempo de execução e compilação e otimização, aumentando em última análise a depuração e o desempenho.