鲍勃大叔：从编程语言到AI提示词是语义表达的延续
原文中文，约3500字，阅读约需9分钟。
📝
内容提要
AI并未改变软件工程的本质，而是放大了工程约束的重要性。鲍勃大叔认为，AI是语义表达的升级，关键在于建立有效的控制体系。大语言模型的非确定性给工程带来挑战，但通过设计约束和验证机制，可以将其转变为可控系统。AI的使用需要更高的设计责任，错误的设计可能导致更严重的问题。因此，AI并不是降低门槛，而是将门槛转移到设计和约束层面。
🔎
延伸解读
AI与工程约束的关系
鲍勃大叔指出，AI并未简化软件工程，反而强调了工程约束的重要性。设计约束和验证机制是确保AI系统可控的关键，工程师需要在设计阶段就考虑这些因素，以避免后期出现不可预测的结果。
责任的转移与设计的重要性
随着抽象层的提升，工程师的职责从实现细节转向定义规则。这种责任的转移意味着设计错误可能导致更严重的问题，因此在AI时代，建立有效的验证体系显得尤为重要。
Gherkin的应用价值
Gherkin作为一种结构化的描述语言，可以帮助工程师将模糊的自然语言转化为精确的状态转移描述。这种方法不仅提高了AI生成代码的准确性，也为系统行为提供了明确的规范，减少了不确定性。
❓
Q&A
AI如何影响软件工程的本质？
AI并未改变软件工程的本质，而是放大了工程约束的重要性。
鲍勃大叔对AI的看法是什么？
鲍勃大叔认为AI是语义表达能力的升级，关键在于建立有效的控制体系。
大语言模型的非确定性对工程有什么挑战？
大语言模型的非确定性可能导致每次运行结果不同，这在工程上是灾难。
如何将AI的输出转变为可控系统？
通过设计约束和验证机制，可以将AI的输出转变为可控系统。
Gherkin在AI开发中有什么作用？
Gherkin作为确定性锚点，可以帮助将AI的输出规范化，确保系统行为符合预期。
AI是否降低了软件开发的门槛？
AI并没有降低门槛，而是将门槛转移到设计和约束层面。
🏷️
