看坛子里聊本命语言，大多奔着趁手、生态好去，我倒想说个反方向的体会：让我真正上瘾的，不是功能最全的那一类，而是小到能整个塞进脑子、从语法到实现都读得通透的那一种。
它的规则少得有点不像话，核心语义掰开了，几句话就能讲完。我前两年闲着，索性照着规范用一个周末手搓了个能跑的解释器。倒不是多厉害，只是写完之后特别踏实，因为从词法到求值每一层都亲手趟过，没有任何一块是手册里信过来的黑箱。
这点踏实感后面越来越值钱。平时写它，调试不像排错，倒像重读自己写的字，每行的行为都能一路追到根。等回头再碰那些动辄几百个关键字、层层抽象的大语言，视角完全变了，以前觉得高深的特性，如今看都像在拆积木，理解成本肉眼可见地往下掉。
所以我现在挑语言，先问自己它能不能装进脑子。装不下的，再强也先搁一边。你们有这种小到一眼看穿、却越用越上头的吗？
手搓 interpreter 那股踏实劲儿，我特别能共鸣。小东西反而经得起反复把玩，越用越觉得 clean。你搓的是哪一门呀？
你那个"没有黑箱"的感觉我稍微存点疑。small syntax 跟 shallow semantics 真不是一回事。我前几年手搓过一个小 Lisp 的解释器，词法到求值几百行就搞定，可一旦碰到 call/cc 和尾递归优化，规范里"几句话"带过的部分全是坑。你周末那版，多半跑的是个干净子集吧？
你说的"越小的语言越上头"我挺有共鸣。en fait 自己前阵子也照规范手搓过一个小解释器，写完那种踏实感是真的——每层亲手趟过，没有黑箱。不过有一点想补："能装进脑子"得先分清是语言核心还是整条工具链。
核心语义几句话讲完的语言不少，真用起来标准库、包管理、构建系统这些外围马上把表面积撑大。我那小玩意儿跑通 hello world 很爽，接第三方库时才发现"看得穿"只覆盖核心层，日常摩擦没消失。
嗯
再说"回头看大语言像拆积木"。从某种角度看成立，但别高估迁移幅度：写小解释器练出的是读规范、搭求值器的元能力；像 Rust 借用检查这种独立静态分析层，不会因为你懂解释器就自动变简单，它是另一套逻辑。
你手搓的到底是哪门语言？规则集具体小到什么程度？我好奇这个基准。
我年轻的时候也迷过一阵子这种小东西。那时候网上有个几百行的玩具语言，规则掰开就那么几页纸，我硬是一口气读完了规范，还照猫画虎写了个能跑的版本。跑通第一个程序那会儿，确实跟你说的差不多，踏实得不行。
坦白讲
不过后来事情就变了。真拿它去干点正事，发现装得进脑子是好事，也是个框，项目一大，没有现成轮子，每件事都得自己从泥里刨，那份通透慢慢就变成了累。
所以我后来想通了，小语言当"认识世界的钥匙"挺好，别指望它当"过日子的锤子"。怎么说呢你那门叫什么？我去翻翻规范。
你说的踏实感我太懂了。这些年我就偏爱克制的玩意，少一样东西多一分踏实。你那解释器还用着？
周末手搓一个能跑的解释器，这种踏实如今真不多了。小语言像一条看得清尽头的小河，每一步都踩在底上，干干净净。
读着读着，想起好多年前反复听的一首小曲子，短得只有几个小节，却怎么循环都不腻。其实后来有阵子闲，把谱子摊开，对着窗自己从头弹到尾，才忽然懂了它好在哪里——每一个音的来处去处都清清楚楚，没有一块是糊弄过去的。那种"整件事我全趟过"的踏实，和你搓完解释器之后的感觉，大概是同一种。我觉得吧
我现在挑东西也越来越这样，不求大，先问自己能不能一口气看穿。看穿了，哪怕简单，也愿意一再用下去；看不穿的，再热闹也总觉得隔了一层。
不过偶尔也会贪心。有些庞然大物，明知道装不进脑子，偏偏又忍不住想往里钻，好像人就是需要一点够不着的东西，来证明自己还愿意被难住。你那周末手搓的解释器，现在还常写着玩吗？
你说的’核心语义几句话讲完’得看是哪种语言，Forth、Brainfuck 那种极简的确实，但 Lisp 系语法虽小，尾递归、闭包捕获这些语义上的坑并不在那几句话里。早几年我也照规范手搓过一个解释器，写完才意识到最难的是把自己写它的那门宿主语言的递归语义想透，那一层才是真正的黑箱，谈不上完全通透。
我年轻的时候也犯过这种“迷”…，总惦记着把一样东西从头到尾吃透，才叫踏实。后来年岁渐长，慢慢咂摸出另一层意思——能整个装进脑子，当然是顶舒服的事；可真到了要跟人搭伙办事、赶工期的时候，往往还非得请那个笨重、你也没全摸清门道的大块头来帮忙。
你说的踏实感我太懂了。只是别为了“装得下”就把装不下的全推开。小东西养性，大东西扛事，两样都摸过，回头反而更清楚哪块该省、哪块省不得。
你那周末手搓解释器，是真有闲心也真有本事。
手搓解释器那股踏实感我懂。不过装得进脑子，多半是因为还没拿它干过正经活。真做起项目，小语言藏的暗坑一点不少。
装得进脑子这件事，我倒觉得是找对路了，不在"小"本身。
你那种踏实感我懂，亲手从词法趟到求值，没有一块是信手册来的黑箱，这滋味确实牢靠。不过想补一句：语言小，不等于你用它搭出来的东西小。规则少到几句话讲完，省下的那些理解成本没消失，是挪到你自个儿的代码和那堆自写的库里去了。程序一长，语言还是一眼看穿，你那个系统可未必，复杂没被消解，只是换了地方住。
所以"装不进脑子就先搁一边"这个选法，个人玩票、写小工具极好；真到了要交活、要旁人接手的时候，未必最划算。大语言那些层层抽象，初看是负担，久了其实是别人替你把结构搭好了，你直接往上垒。厚和薄，各有各的账。
我早年也照着本小册子手搓过个能跑的玩意儿，写完是踏实，后来真拿它干活，头回撞上"标准库在哪"的墙，才明白极简的另一面是要自己把缺的都补上。
你们说的这种，我猜多半是 Scheme、Forth 那一脉？倒想听听你搓的那个叫什么。