Tags populares：
Virtualização segurança DNS verificação formal análise de alcance IA erros do compilador conflito de macro extensão web framework de desenvolvimento Gráficos de Bitmap Todos os tags

Sintese de Design Orientado a Objetos e Funcional para Promover Reutilização

2025-09-09

Este artigo da ECOOP de 1998 aborda o desafio de estender ferramentas e tipos de dados em programas em evolução, combinando os pontos fortes da programação orientada a objetos e da programação funcional. Abordagens tradicionais têm dificuldades em suportar ambas: a programação funcional se destaca na adição de ferramentas, enquanto a POO se destaca na adição de novas ferramentas ou na extensão de conjuntos de dados, mas não ambas simultaneamente. O artigo propõe um padrão de design composto que sintetiza o melhor de ambas as abordagens, sugerindo novos recursos linguísticos para linguagens baseadas em classes para alcançar extensibilidade sem modificar o código existente.

Leia mais
(cs.brown.edu)
Desenvolvimento reutilização de código

Compartilhamento Assusta: A Conexão Inesperada Entre Compartilhamento de Arquivos na Nuvem e Semântica de Linguagens de Programação

2025-09-03

Usuários frequentemente enfrentam dificuldades com aplicativos de compartilhamento de arquivos na nuvem. Este estudo argumenta que essas dificuldades derivam não apenas de interfaces deficientes, mas também de um mal-entendido fundamental da semântica subjacente a ações como vincular, anexar, baixar e editar — refletindo desafios em compreender conceitos de programação como aliasing, cópia e mutação. Um estudo com usuários revela amplas concepções errôneas ao mapear equívocos conhecidos da educação em programação para tarefas semelhantes de compartilhamento de arquivos. Os pesquisadores também desenvolveram uma semântica formal de operações de compartilhamento de arquivos na nuvem, fornecendo uma base para modelos mentais aprimorados, ferramentas educacionais e assistência automatizada. Essa formalização pode apoiar aplicativos como verificação de rastreamento e síntese de fluxo de trabalho.

Leia mais
(cs.brown.edu)
Desenvolvimento semântica de linguagem de programação