Grace Hopper conquistou a adoção de seu compilador ao resistir ao ceticismo

No início da década de 1950, escrever qualquer novo programa para o computador UNIVAC significava codificar manualmente as mesmas sub-rotinas comuns em binário de nível de máquina bruto, do zero, a cada vez, porque o consenso predominante entre cientistas da computação e engenheiros era de que os computadores eram fundamentalmente máquinas aritméticas — capazes de calcular, mas não de seguir ou traduzir instruções simbólicas de nível superior por conta própria. Essa suposição não era uma política declarada que alguém precisasse defender; era simplesmente tomada como um fato óbvio sobre o que um computador podia e não podia fazer.

Grace Hopper, trabalhando na divisão UNIVAC da Remington Rand, acreditava que a suposição do campo estava errada e construiu um tradutor funcional, o Sistema A-0, que permitia aos programadores referenciar sub-rotinas reutilizáveis, previamente escritas, por um código curto, em vez de redigitar o binário completo a cada vez — demonstrando tecnicamente que um computador podia, de fato, traduzir e executar instruções de nível superior.

Hopper realizou a mesma demonstração repetidamente por anos, visando a própria crença categórica, até que mentes suficientes mudassem para tornar a adoção possível.

Uma única demonstração não derruba uma suposição categórica; as pessoas a racionalizam e a descartam.

A exposição repetida dá aos céticos múltiplas chances de atualizar seu modelo mental.

A persuasão visava a crença subjacente, não apenas as características da tecnologia.

Uma vez que crenças suficientes mudaram, o compilador tornou-se aceitável como prática padrão.

Quando uma solução funciona mas contradiz as suposições do campo, não basta prová-la uma vez — repita a prova até que a suposição mude.

O esforço sustentado de persuasão de Hopper acabou tendo êxito, e o conceito de compilador que ela pioneirou levou diretamente ao seu trabalho subsequente no FLOW-MATIC e ao eventual desenvolvimento do COBOL, uma das linguagens de programação mais amplamente usadas na história da computação empresarial — estabelecendo compiladores e linguagens de programação de nível superior como prática padrão, em vez de uma curiosidade rejeitada.