← Back to feed

The foolishness of "natural language programming" (1978)

IT · 2026-10-23 00:52

这是 Dijkstra 1978 年的经典短文，论证为何用自然语言编程不可行，强调形式化符号的精确性对程序正确性的必要。

Source: www.cs.utexas.edu

Auto-generated summary for reference only. RSS