自然语言编程
自然语言编程是一种允许用户以人类自然语言（如英语、中文）代替传统形式化编程语言来表达计算逻辑和程序需求的编程范式。其核心特征包括：降低编程语言的语法门槛、提升人机交互的可读性，以及通过自然语言处理技术将用户意图解析并转化为可执行的计算机指令或代码。该范式广泛应用于编程辅助、智能问答和低代码开发等领域。
核心事实
时间轴 (近 90 天)
自然语言编程要求用户学会写清楚任务，包括目标、约束条件、输出格式和验收标准，入门门槛不高但需要刻意练习。
EWD667的核心论点是：自然语言模糊、多义、依赖语境，而程序要求精确、无歧义、可机械执行的指令，因此把自然语言当作编程语言是对编程本质的误解。
Hacker News评论区有开发者认为，当下“用自然语言编程”的叙事与Dijkstra批判的对象高度同构。
一位评论者总结：自然语言编程降低了入门门槛，却把复杂度转移到了验证环节，用户需要更仔细地审查AI生成的代码。
有评论者认为Dijkstra写作时代机器理解自然语言能力几乎为零，而今天大模型已能在相当程度上处理歧义和上下文，因此EWD667批判针对的是“把自然语言当作替代品”，当下更现实的做法是“自然语言作为接口，形式化验证作为保障”。
把模糊的自然语言指令自动转化为形式化规约，本身是尚未解决的难题，因此“自然语言作为接口，形式化验证作为保障”的思路是把形式化环节后移而非消除。
一句话生成代码的方式适合个人小工具，不适合商用项目，因为代码质量和 bug 不可控，且缺少 Code Review 环节。
自然语言编程是指用人类日常语言描述程序需求，由系统将其转化为可执行代码的范式。
全部知识事实 (9)
AI辅助编程首次让自然语言成为人机交互的主要界面，从根本上消解语法壁垒
65%待验证自然语言编程要求用户学会写清楚任务，包括目标、约束条件、输出格式和验收标准，入门门槛不高但需要刻意练习。
50%待验证一位评论者总结：自然语言编程降低了入门门槛，却把复杂度转移到了验证环节，用户需要更仔细地审查AI生成的代码。
50%待验证EWD667的核心论点是：自然语言模糊、多义、依赖语境，而程序要求精确、无歧义、可机械执行的指令，因此把自然语言当作编程语言是对编程本质的误解。
50%待验证Hacker News评论区有开发者认为，当下“用自然语言编程”的叙事与Dijkstra批判的对象高度同构。
50%待验证有评论者认为Dijkstra写作时代机器理解自然语言能力几乎为零，而今天大模型已能在相当程度上处理歧义和上下文，因此EWD667批判针对的是“把自然语言当作替代品”，当下更现实的做法是“自然语言作为接口，形式化验证作为保障”。
50%待验证把模糊的自然语言指令自动转化为形式化规约，本身是尚未解决的难题，因此“自然语言作为接口，形式化验证作为保障”的思路是把形式化环节后移而非消除。
50%待验证一句话生成代码的方式适合个人小工具，不适合商用项目，因为代码质量和 bug 不可控，且缺少 Code Review 环节。
50%待验证自然语言编程是指用人类日常语言描述程序需求，由系统将其转化为可执行代码的范式。
50%