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

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.