Hopper had a working compiler that let programmers reuse code instead of hand-writing binary every time — and then spent years just getting anyone to believe a computer could do that at all.

问题

a genuine technical solution exists and works, but the field's own consensus about what the technology is even capable of prevents anyone from adopting it

背景

换别人会怎么做

The natural approach after building a working technical solution would be to let the demonstration speak for itself — show that the compiler works, publish the results, and expect colleagues to adopt it once its functionality is proven, treating adoption as a natural consequence of a working proof.

他们看到了什么

Hopper saw that technical proof alone couldn't overcome an assumption the field didn't even know it was making — colleagues weren't rejecting the compiler because they'd evaluated it and found it lacking, they were rejecting it because their entire mental model of what a computer was, an arithmetic machine incapable of translating higher-level instructions, made the compiler's actual function nearly impossible for them to correctly perceive. The fix wasn't a better demonstration of the technology, it was sustained, repeated persuasion aimed at changing the underlying belief itself, since the resistance was categorical, not evidentiary.

那一手

Hopper completed a functioning A-0 compiler in 1952 that measurably reduced redundant hand-coding, but rather than immediate adoption, she faced years of active skepticism from colleagues and management who, in her own words, 'told me computers could only do arithmetic' — she spent the following years running repeated demonstrations, presentations and direct persuasion of skeptical managers and programmers to get the tool actually used.

为什么管用

Presenting a genuinely working A-0 compiler to colleagues who held a prior, unstated belief that computers could only do arithmetic showed that a single demonstration doesn't overturn a categorical assumption — people could watch a working compiler and still not update their broader model of what computers were capable of in general. Hopper responded not by building a more convincing technical demonstration but by running the same demonstration repeatedly, across many audiences and over years, giving skeptics multiple opportunities to have their assumption challenged until belief gradually shifted. Once enough people's underlying model of computing capability updated, the compiler concept became acceptable not because the technology had changed, but because the field's assumptions about what such technology could do finally caught up to what had already been technically proven years earlier.

值了多少

Hopper's sustained persuasion effort eventually succeeded, and the compiler concept she pioneered led directly to her subsequent work on FLOW-MATIC and the eventual development of COBOL, one of the most widely used programming languages in business computing history — establishing compilers and higher-level programming languages as standard practice rather than a rejected curiosity.

什么时候会失灵

The mechanism depends on the resistance genuinely being a categorical assumption rather than a legitimate technical objection — if skeptics have real, specific concerns about a solution's actual limitations, repeated demonstration of the same working proof wouldn't address those concerns and could look like stubbornness rather than persuasion. It also requires the innovator to have the standing, patience and institutional access to keep demonstrating over years, which not every innovator with a working solution has the position or career runway to sustain. And the technique specifically addresses adoption blocked by belief, not adoption blocked by cost, infrastructure or competing priorities — a genuinely believed-in but still unaffordable solution requires a different kind of persuasion that repeated technical demonstration alone wouldn't resolve.

后来呢

Grace Hopper's compiler work is now recognized as foundational to all modern software development, and her own account of the resistance she faced — technical proof existing well before institutional belief caught up — is frequently cited in the history of computing as the template case for how genuinely field-changing technical innovations often require as much sustained persuasion work as the original invention itself.

资料来源

1. [1]A-0 SystemWikipedia, 2026en.wikipedia.org
2. [2]Milestone-Proposal: Grace Hopper's Compiler and Programming Language Work, 1952-1959IEEE Milestones Wiki, 2021ieeemilestones.ethw.org
3. [3]The Woman Who Taught Computers EnglishMissed History, 2024missedhistory.com

收下它

同一路聪明

• 1991 · MarriottMarriott took the airlines' playbook and priced every room by the night it would die
• 2016 · NHS clinicsNHS clinics clawed back millions of missed appointments with reminder texts
• 1609 · Amsterdam Wisselbank (Bank of Amsterdam)Amsterdam stopped trying to police 800 coin types and just declared what a guilder meant instead