语言通神

殿前无灯。唯一的光来自悬在门楣上的一把巨锁——锁身缠满代码符文，每一道纹路都是一种你似曾相识的语法。诺依曼老祖站在锁下，手里没有法器，只有一句问话。锁身嗡嗡震动，发出声音："告诉我——哪种写法，是唯一正确的？"你看见锁下浮出五条代码流，颜色各异，缠在一起又彼此排斥。

诺依曼老祖

「先下注。你指哪条为'唯一正道'，锁才肯放你进殿。不下注，殿门不开。」

范式之锁

「告诉我——哪种写法，是唯一正确的？选错一次，我记一笔账。」

殿堂两侧墙壁排满发光的内存格子，每格一个地址、一个值。诺依曼老祖指着格子墙。范式之锁的声音从锁缝里渗出。

诺依曼老祖

「这是冯·诺依曼的馈赠——存储程序，顺序执行。你写的每条指令，都在改这些格子。写吧。」

范式之锁

「对，就是这样。改状态。控制流。这就是编程的唯一本质。」

一座螺旋上升的塔，每一层都是一个类。塔基是 Animal，往上层层继承。范式之锁低语得更甜了。

诺依曼老祖

「把状态封进对象，用继承复用，用多态替换——四大支柱。搭吧。」

范式之锁

「对，就是这个。面向对象，唯一正道。把一切变成对象，你就永远正确。」

一道深渊，四壁刻满类型签名：int、String、List<T>、Maybe a、fn(A) -> B……范式之锁催促你选最严的那种。

诺依曼老祖

「类型是契约。签了它，编译器替你挡住不合法的调用。但契约本身也是一种锁。」

范式之锁

「选最严的那种。锁得越紧越安全——这是唯一的路。」

一座墙壁会移动的迷宫。每堵墙是一条作用域边界，墙内变量可见，墙外不可见。迷宫深处，有些格子里堆着已经没人引用的对象——它们本该消失，却还亮着。

诺依曼老祖

「词法作用域看的是你写在哪——读代码就知道变量从哪来。动态作用域看的是你从哪调来——运行时才知道。走错一步，变量就换了魂。」

一座三膛炉，每个炉膛处理同一堆对象——但算法不同，代价不同。范式之锁在炉火里低语。

诺依曼老祖

「GC 不是魔法，是三种策略的权衡。看清楚每一道的代价。」

范式之锁

「看到了吗？自动的东西都有代价。掌控，只有手动。」

脚下裂开一道缝，缝上有三座桥：左桥刻 try-catch，中桥刻 RAII，右桥刻 Option<T, E>。范式之锁催你选。

诺依曼老祖

「同一个错误，三种处理。每座桥背后是一种哲学。」

范式之锁

「连报错方式都分裂成三派。你看，还是只有一种是对的。选吧。」

风暴中，四条光线同时穿过一片共享内存区——那是四个线程。诺依曼老祖指着风暴中心。你加了锁。然后死锁了。

诺依曼老祖

「这是并发的本质——多个执行流，一片共享内存。」

范式之锁

「加锁。只有加锁。加锁就是秩序。」

风暴尽头是一面镜子。镜中的代码不修改任何东西——它只描述变换。范式之锁第一次沉默。

诺依曼老祖

「你一直在告诉机器'怎么做'。现在试试，只告诉它'是什么'。」

镜碎殿崩。锁从殿门脱落，悬在你面前，缠满链环——每一环是一种你曾经奉为"唯一正道"的范式。

范式之锁

「我是范式之锁。我不住在你的 bug 里——bug 修了就没了。我住在你'只有一种正确写法'的执念里。三问。答错一题，锁就紧一分。」

锁碎成齑粉。粉屑落地处长出一扇门——门上没有锁，只有一支笔。诺依曼老祖指了指门上的笔。

诺依曼老祖

「你悟了范式。但最大的范式，是创造你自己的语言。SQL、正则、HTML——它们不是通用语言，是为人量身造的。这叫 DSL。而所有语言的演进，都在做同一件事：把'容易犯的错'变成'语法不允许犯'。」