· · ·

一、编程不是写代码

如果你问一个程序员在做什么，他可能会说"写代码"。但如果你问他编程是什么，他会犹豫。

编程不是写代码，就像写作不是敲键盘。代码只是编程的痕迹，是思考凝固后的形态。真正的编程发生在敲键盘之前——在你盯着天花板，把一团模糊的直觉翻译成清晰结构的那几秒钟里。

这就是为什么编程有哲学。

· · ·

二、抽象：看见看不见的东西

人类的大脑一次只能握住大约四个独立的概念。但一个软件系统可能包含上万个相互关联的部件。程序员怎么处理这个差距？

答案是抽象。

抽象就是把一堆细节打包成一个名字，然后忘掉细节。你说"吃饭"，不需要描述咀嚼的肌肉运动、消化酶的分泌、葡萄糖的转运。你说"发送消息"，不需要描述电磁波如何编码、路由、解码。

编程的本质就是不断制造这种压缩包，然后把压缩包叠在压缩包上，直到能用几十行字描述一个银行系统的运转。

哲学家做了几千年的事，程序员每天都在做：把世界压缩成可操作的模型，然后问——这个模型漏了什么？哪些东西在压缩中丢失了？

抽象：将杂乱的世界压缩为可操作的模型

· · ·

三、语言塑造思维

一个只说中文的人和一个只说英文的人，对"时间"的感知不同。语言不只是表达工具，它规定了你能怎么想。

编程语言也一样。

用 C 写程序，你天然会把人分成"能直接碰内存的"和"不能碰的"。用 Haskell 写程序，你会觉得所有问题本质上都是数据在函数之间的流动。用 Lisp 写程序，你会发现代码和数据是同一种东西，可以互相转化——程序可以写程序。

每一种编程语言都是一套形而上学。它悄悄告诉你：世界是由什么基本元素构成的，这些元素之间能发生什么关系，什么问题是合法的，什么问题根本就不该问。

· · ·

四、对抗复杂性

人类建造的最复杂的系统不是空间站，不是大型强子对撞机，而是软件。

一座桥有几千个部件，每个部件的受力都可以精确计算。但一个中型软件有几万个逻辑分支，它们之间的交互是指数级的。没有人能完全理解一个现代操作系统。

编程哲学的核心问题因此是：如何在无法完全理解的情况下，仍然做出正确的决定？

答案分三派。

一派说：把东西拆开。每个模块只做一件事，模块之间只通过狭窄的接口通信。这是笛卡尔的方法论——把大问题分解成小问题。

一派说：限制表达。有些错误在语言层面就不该允许发生。这是康德的路子——不是教会人不犯错，而是让犯错变得不可能。

一派说：接受混乱。系统会演化，你无法预先设计完美。写测试，快速失败，持续修正。这是实用主义——真理是过程中涌现的东西，不是起点。

三种态度指向同一种谦逊：人脑有上限。

在无法完全理解的情况下，做出的决定即是哲学

· · ·

五、代码之美

一个不编程的人走进美术馆，看到罗斯科的色块，可能会说"这我也能画"。一个程序员看到一段简洁的代码，永远不会说"这我也能写"。

代码的美不在于它做了什么，而在于它没做什么。

一段好代码删掉了所有可以删掉的东西。每一个名字都恰好表达了它承载的含义，不多不少。每一个结构都跟问题的结构一一对应，没有多余的转折。

这种美接近数学证明的美：用最少的前提推出最远的结论。也接近好散文的美：没有一个字是多余的。

程序员管这叫"优雅"。优雅的代价是时间——写出简洁的东西比写出复杂的东西难得多。布莱兹·帕斯卡在一封信的末尾写过一句话，后来成了编程界的名言："我写得太长了，因为我没有时间写短。"

· · ·

六、机器与人之间

计算机是彻底的、绝对的服从者。你说什么，它就做什么——但不是做你想让它做的，而是做你说的。

这是编程最残酷的哲学课：你无法把责任推给工具。

你说"如果下雨就带伞"，人知道你在说什么。机器不知道。"下雨"怎么定义？毛毛雨算不算？如果已经在室内了还要不要带？每一个模糊的词都必须被分解成机器能执行的原子操作。

这个过程反过来教育了程序员：当你不得不向一个完全没有常识的存在解释一件事时，你才第一次知道自己是不是真的理解了它。

编程是世界上最诚实的职业。代码要么跑，要么不跑。没有"差不多跑"，没有"跑得很有诗意"。这跟哲学写作形成了有趣的对立：哲学可以一直追问而不给出答案，代码必须给出一个能运行的答案。

· · ·

七、编程是一种人文训练

编程教你的东西远超编程本身。

它教你分解——在庞杂中找到结构，而不是被庞杂淹没。

它教你精确——模糊的想法是廉价的，只有能被执行的精确才是贵的。

它教你接受反馈——编译器不会在乎你的自尊心，bug 不会因为你说"本意是好的"就消失。

它教你迭代——完美的方案不存在，但有一个方向，每走一步都更接近。

它教你命名——给一个东西起对名字，是世界上最难的事之一。名字决定了别人怎么理解它、怎么使用它、怎么记住它。这跟写诗是同一件事。

· · ·

八、最后的隐喻

把编程比作工程是对的，但不够。

编程也是写作：你在给两种读者同时写——机器，和未来要改你代码的人。机器要精确，人要清晰。

编程也是建筑：你在设计一个结构，它要承重（逻辑正确）、要通风（可维护）、要让人愿意走进去（可用）。

编程也是园艺：你不能让一株植物长到一半就撒手，说"设计图已经画好了，剩下的是它自己的事"。系统会长，会纠缠，会枯萎。你要持续修剪。

编程，是一场面向人与机器的数字园艺

但在所有这些之上，编程是一种自我澄清。

当你把一个想法写成代码，你实际上是在对自己说：我真的理解这件事了吗？如果理解，我就能把它讲给一个傻子听——一个每秒钟做十亿次运算、但没有任何常识的傻子。

如果你做到了，你就完成了一次哲学。

· · ·

这篇文章写给所有没有写过一行代码、但想知道"编程的人到底在干什么"的人。也写给所有写了很多年代码、但从未被提醒"你其实一直在做哲学"的人。

photo

video

3R — Roles Rules Riles

SHORT STORY — 短篇故事

writing

redundance

tools