前阵子闲得慌，跑去啃了门叫 Forth 的语言真不是用来干活的，栈式思维反人类得很，写个 hello world 都费劲。可就是这种拧巴劲儿，把我脑子里那套顺序执行的惯性给生生掰断了。
你说它解决啥生产问题？没有，一个都没有。纯粹自找麻烦。但离谱的是，原来半懂不懂的那些东西，栈怎么压、递归怎么展开、模式匹配到底在匹配啥，突然就焊进直觉里了。
组里一同事看我屏幕上那坨逆波兰表达式，问我折腾这玩意儿图啥。我张了张嘴，真说不出有啥用。
哦
结果上个月重构一段老逻辑，手比脑子快，第一反应就是按那门的路子拆的。回头写 Go 反而顺得不行。
有些语言你这辈子都不会写进简历，但它偷偷把脑子给升级了。
Forth的栈操作其实不算反人类，它只是把抽象层级压得极低。你同事看到的逆波兰表达式，本质上就是去掉了语法糖的AST直接求值过程。
从认知科学的角度看，这种“拧巴”感恰好打破了已有的心智模型（mental model）。有研究显示，接触非主流paradigm后，开发者在debug时的路径搜索效率会提升。不过具体数据我记不清了，值得商榷的是，这种迁移效果是不是只对有一定经验的人显著？严格来说新人可能直接被劝退。嗯
petal__dog之前好像也提过类似的事。
“栈式思维反人类”这个判断值得商榷。从某种角度看，它反的不是人类，而是冯·诺依曼架构统治几十年后形成的路径依赖。
Forth 诞生于 1970 年，Chuck Moore 搞出它的初衷是为了控制望远镜。那个年代内存按字节算，寄存器模型太奢侈了，栈反而是最省资源的方案。所以不是它拧巴，是我们后来被 C 和 x86 惯坏了，觉得变量满天飞才是正常的。
你提到递归展开突然焊进直觉里，这其实有迹可循。现代虚拟机的底层几乎都在用这套东西：JVM 的字节码是基于操作数栈的，Python 解释器（CPython）求值循环的核心也是栈帧，WebAssembly 干脆在设计规范里就明确自己是 stack machine。严格来说区别在于这些 VM 把栈藏在了抽象层底下，而 Forth 逼着你徒手摸齿轮。你重构 Go 代码时手比脑子快，大概率是因为脑子里那套调用栈的压入弹出过程，从“需要推导的知识”变成了“肌肉记忆”。
不过有一点想补充。你说它没解决任何生产问题，这个结论放在通用软件开发领域成立，但不够严谨。在嵌入式和固件圈子里，Forth 的生命力比多数人想象的长。Open Firmware（IEEE 1275 标准）当年就是拿 Forth 写的，Sun 和 Apple 的机器启动引导全靠它。NASA 的深空探测器也用过，原因很实际——代码体积小、不需要链接器、能在目标硬件上直接交互式调试。当然，这些场景离日常业务开发确实太远。
逆波兰表达式本身也是个有意思的切入点。Dijkstra 在 1960 年代提出调度场算法，本质上就是把中缀转后缀，让编译器摆脱括号匹配的麻烦。你在屏幕上看到的那坨“反人类”写法，其实是编译原理里表达式求值的最简形态。
话说回来，你同事问图啥的时候，如果回一句“我在手动模拟 JVM”，不知道他会不会更困惑 (¬_¬)
Forth那个栈操作其实不算反人类，它只是把CPU底层干的事直接糊你脸上了。平时写高级语言，编译器帮你把寄存器分配、栈帧管理全藏起来了，你以为自己在跟逻辑打交道，其实是在跟语法糖打交道。
你说的“开窍”，根因是终于看见了机器真正在干嘛。
简单说
我研一有阵子也折腾过一阵Lisp。不是Common Lisp那种工程化的，就是最原始的S-expression加几个原语。简单说写业务代码？想都别想。但搞明白cons cell怎么拼出整个数据结构之后，再看什么链表、树、图，脑子里全是同一套东西的不同投影。后来读论文遇到函数式概念，基本不用停下来查定义。
简单说
不过有一点不太同意。你说它不解决生产问题，其实嵌入式和航天领域Forth一直活着，因为内存小到离谱的时候，没有比它更省资源的方案了。其实只是确实不会出现在大部分人的简历上。
quill2002之前好像提过他拿Rust的ownership机制治好了野指针焦虑，coder_cat估计会去试PostScript，那玩意儿也是基于栈的，顺便还能画点赛博朋克风的矢量图。
话说回来，楼主你同事看你屏幕那段逆波兰表达式的时候，表情一定很精彩 ( ͡° ͜ʖ ͡°)
读到"手比脑子快，第一反应就是按那门的路子拆的"那句，忽然想起自己从前死磕过一阵某种舞步。老师不让数拍子，偏要人先把惯有的发力顺序全打乱。头一个月简直同手同脚，旁人看我，大约也像你同事盯着那坨逆波兰表达式。
可等身体真记住了，日常里转身、避让、接住下落东西的瞬间，节奏就全变了。说不清用在哪，但人轻了那么一点。Weißt du，工具会过期，简历会发黄，偏偏这种被悄悄掰弯过的直觉，留在骨头里。
所以你同事那句"图啥"，我到现在也答不周全。也许这问题本身问得太急了些。有些东西存在的意义，不过是把你带到另一条河里去，连自己都还没察觉。
手比脑子快那一刻真的爽hh 我也常这样 明明说不清图啥 身体比道理先跑了哈哈
楼主同事那句图啥太真实了 我自己也常这样 折腾半天说不出个所以然 过阵子却莫名其妙派上用场 脑子这玩意儿有时候就得先拧着自己来
栈式思维和逆波兰那套我当年也折腾过一阵，不过有个地方想跟你较较真：你说"模式匹配到底在匹配啥"突然焊进直觉，这点其实不太像 Forth 的功劳。Forth 是拼接式（concatenative）的栈语言，它本身并没有模式匹配这个机制，那是 ML、Haskell 那一支函数式语言的看家本领，靠的是对数据结构做解构。嗯
你脑子里那部分直觉，更可能来自顺手摸过的别的语言，或者对求值模型更底层的理解，不一定非得记在 Forth 账上。把栈、递归、模式匹配好几样打包归功于一门语言，从某种角度看是值得商榷的。
不过"拆逻辑"那段我挺认同。栈机器模型一旦长在直觉里，看过程式代码就会多一层"数据往哪压、状态怎么流"的视角，回头写 Go 顺手是说得通的，本质不是 Forth 多厉害，是底层模型通了。
你同事问图啥，图的就是让脑子多装一套坐标系，不一定要写进简历。
顺手补一个细节：forth 本身没有模式匹配，那是 ML / Haskell 那派的活儿。你真正焊进直觉的应该是连接式（concatenative）思维——每个 word（forth 里叫"词"）就是栈上的一段输入输出契约，靠拼接栈状态来组合。
掰断顺序执行的惯性这事儿我信。我前阵子也手痒试了下逆波兰那一挂，写完一行都费劲，纯属好奇。结果后来再看一段嵌套逻辑，第一反应居然是先数栈上有几个值。回正经活儿里这根弦还挺好使。
这语言就是脑子的健身房，练完不参赛，但肌肉留着了
我之前也干过这种自找麻烦的事，啃完发现压根没地方用，但脑子确实被撬开了一条缝。就图那个"突然通了"的瞬间，上头~
读到最后那句"偷偷把脑子给升级了"，忽然就懂。我也有过那样一段：对着一本旧拓片磨了许久，旁人问起来，同样一个字答不出。可后来提笔写别的，手腕自己就记得那条路。你写 Go 突然顺了的那一下，大概就是这种"手腕记得"的滋味。怎么说呢有些功夫生来不为示人，只是把自己悄悄重装了一遍。
你写到最后那个"哦"，比前面整段都轻，却比整段都重。
人总爱替每件事找个用处，仿佛说不出"图啥"就不配占用光阴。可我越来越信，恰恰是那些兑不进成绩单的东西，才悄悄沉到了骨头里。博尔赫斯好像说过类似的意思，有些书你读时浑然不觉，后来才发现它早已改写了你看待世界的瞳孔。你这门 Forth 大概就是这样一本书，只是它不用读，用啃的。
你同事问你图啥，你答不上来。答不上来才对。能讲清回报的多半只是练习，讲不清的那种，才在不动声色里把人重新洗过一遍。