编程范式限制了开发者的自由，例如结构化编程去除了goto，面向对象编程限制了原始函数指针，函数式编程禁止变量修改。这些约束虽然没有新增能力，却促使我们构建更好的系统。未来可能不会出现第四种范式。

文章介绍了程序设计的顶层设计、结构化编程和模块化编程。顶层设计从整体功能出发逐层分解问题，结构化编程使用基本控制结构确保函数有单一入口和出口，而模块化编程将程序划分为独立功能单元，强调高内聚低耦合。这些方法提高了C语言程序的可读性和可维护性。

Dijkstra在1968年的论文中批评了GOTO语句，认为其导致代码混乱。尽管Go语言允许使用GOTO，但官方建议仅在必要时使用，并提供了更好的结构化编程替代方案，如带标签的break和错误处理机制。Dijkstra的观点在今天依然适用，结构化编程是最佳实践。