# Bob大叔预测：未来程序员用声明式规范，AI编写过程式代码

- 来源：ginobefun (@hongming731)
- 发布时间：2026-05-24 20:05
- AIHOT 分数：67
- AIHOT 链接：https://aihot.virxact.com/items/cmpjrau5e00vosl019pgzaux5
- 原文链接：https://x.com/hongming731/status/2058519631019827229

## AI 摘要

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

## 正文

Bob 大叔认为，未来的程序员将使用像 Gherkin 这样的声明式规范语言，而过程式代码将成为 AI 的领域。

### 引用推文

> Uncle Bob Martin：I hold a different opinion. I think he's right about things like domain driven design, bounded context, ubiquitous vocabulary, and the expression of the concept...