Bob大叔认为，未来编程的核心范式将发生转变。程序员将使用类似Gherkin的声明式规范语言来描述目标和约束，而传统的过程式代码（涉及顺序、选择、循环等逻辑）将主要由AI来生成和实现。他强调，尽管仍需形式化与精确性，但新的编程语言将不再直接描述计算机的执行步骤，而是定义AI需要达成的“目标集”。