@zhaogaz 不巧，刚好这个领域的聪明人都写代码，并且在可预见的未来内恐怕也只有写代码这种方式靠谱。

道理和说给 LZ 听的一样简单：需求到底是得用户自己说的，不是靠谁猜的。

与其说需要聪明人才能处理不够智能的语言，还不如说导致沟通成本大大上升、效率大大下降的所谓“智能”是不够聪明的人没有其它选项的妥协——不得不牺牲时间放在容错上先尽量保证正确性。

最清晰直接地表示需求的方式是什么？形式语言。不是类似自然语言那种以给没有经过训练的一般用户省事的模糊陈述，而是精确的程序设计语言——如果没有现成的系统去解这些描述的需求，那就顺便自己动手丰衣足食解了就是。至于消化成本的方式多得是，看有多“聪明”咯……而且可以肯定的是：1)比引入适应不够聪明的人解整体更简单； 2)整体还就是绕不过写代码（只不过不是自己写罢了）。

当然，也有再怎么聪明的人和不那么聪明的人没多大区别的时候——比如规模失控。但是聪明人为什么要浪费资源陪着玩呢？

@tempdban 如果你只是说“干嘛”的，不就是个挂了一坨拖油瓶的 LLVM IR 的实现么。
设计用来干嘛和能干嘛是两码事。是否合适又是另一回事。

@eccstartup 数学多了去了……幼稚园算术也是数学，还不让鄙视了不成。不说 PL 关心的很多东西根本就是基础数学（如数理逻辑）与（至少有试过作为）数学的基础（如范畴论），谁鄙视谁还不一定呢。
@tempdban llvm 是干嘛你造嘛……虽然他们当年也以为能吞并 libjit 的……

@shihira 咦，刚才有一段好像没贴上……

反了，不完美的不是物理而是 model。比如，凭什么内存是无限大才是完美的？凭什么访存有延时比起延时为零是完美的？（足够小……好像没法吐槽……）物理上恰好相反，这些你想要的完美性质会引起无法处理的奇点。在我看来，妥协——或者说正视需求——是设计之所以成为设计的本质之一，而自以为是的完美是另一种龌龊。

@xiaojie668329 真不见得，比如 cmd 比 powershell 用起来屎主要还就是因为语言设计的关系。当然，反过来像 ps1 下 chcp 65001 都炸那就应该是比较纯粹的人祸了。

@waruqi emmm...
https://github.com/FrankHB/YSLib/blob/master/YFramework/source/NPL/NPLA1.cpp#L997

我柑橘这附近有些 bug ……谁か助けて～っ!

（人格担保不是大作业：）

@shihira 你这题目太水了吧，backend 就支持 GC 的设计，一个 GC 糊过去都碾压了（恶心不恶心另一回事）。

换个题目有兴趣的可以玩玩：提供 first-class environment，允许 first-class side effects，不使用全局 GC，如何设计内存管理相关的机制支持 proper tail call ？

(Hint: It's ur freedom to re-shape the language rules.)

@lunafreya 设计语言和实现语言都算是做 PL，然而内容差得远了。
恕我直言，搞 PL 的，至少我这些年听说过的看到过的，多数不会设计语言，强一点的主要体现在会发 paper 灌水，基本上也不会写 spec。
绝大多数从业者基础不达标到普通码农水准类似（例如啥 paralleism 和 concurrency 都扯不到点上，又如某乎上什么弱类型强类型的问题回答一溜儿槽点）。
少数知识比较健全又会写 spec 的，如 Robert Harper 之流，都未必算得上全职搞 PL 的，而且已然走偏了。
要实现嘛……企业里干活也有不上道的。（记得王垠提过个 Coverity 里的 C++代码的错误，一看就是说不上会 C++嘛）
搞 NLP 或许是个更正经的出路，因为正经的 NL 没有设计，只有演化；虽然我看来逆向文法是很疼的不过或许有人乐在其中吧。

小碰友们哪，天赋点对了没，基础知识兹瓷准备到家了没？不要没事就要造个大煋闻，有点经验的都会在 [事前] 怀疑为什么要拿 js 那么不靠谱的后端搞什么语言……识得唔识得啊？

利益相关：独立重新发明部分 fexpr & vau calculi [1]（虽然懒得证 Church-Rosser property ）/space hierarchy of activation records [2]/CESK-style abstract machine [3]，刚刚尝试重新发明 abstraction power theory [4]。
发现有重复轮子之后悲痛欲绝欣喜若狂 /大失所望 /如释重负 /索然无味（？）。

[1] http://lambda-the-ultimate.org/node/4093
[2] http://www.brics.dk/RS/05/2/BRICS-RS-05-2.pdf
[3] https://dl.acm.org/citation.cfm?id=277719
[4] http://lambda-the-ultimate.org/node/4861

半成品暂时不放了……

@tiancaiamao Shen 设计上还是比较水的，中规中矩吧。

如果考虑时间效率的话，写代码跟扯需求相比搞不好还真不那么值钱……

@abcbuzhiming 其实也不需要刻意炫技，有需要的时候把看不爽的挨个儿摁在地上摩擦到弹跳不能就是了……
虽然这类可能一般不被当作程序员，也未必对找东家有好处……

@chenhaifeng Rust 没 formal model，甚至连 spec 都没有，不能婊 design by committee，撕都撕不开森啊（

@koodai 这位童鞋，你觉得你有底气推翻“科学技术是第一生产力”了嘛？

@bramblex ……百度 pendactyl 有惊喜。。

上海电信正常。

暂时就遇到资源管理器的 padding 和 WSL 的并发 bug 比较烦。

Windows+WSL+Arch+1，不乱升 glibc 基本不怕滚挂。
如果你没遇到 WSL 系统调用实现的各种 bug 的话……

@picone 你就这么急着强行加戏，是嫌 LZ “理解”的还不够多不够混乱？
我有些好奇你是怎么把“指针是内存地址，数组也是内存地址”“数组代表的是它的内存的首地址”这类无中生有的笑话大言不惭拿来帮助别人理解的。

@lianz 又是个不知道基础知识点到连左值概念都没还强答的。老实重修。
[]可是直接在 spec 用语义规则钦定等价性了的，sizeof 还能强行语法糖……不用糖的替代语法呢？

@picone 你能确保什么叫理解问题？在哪里理解？确定要理解的问题是什么了？
问题明白挂着“ C/C++/Obj-C ”，足以判断你的回答的主要成分显然就是胡扯。
排除这些内容，“用起来不一样”……不是我要找你茬，且不说哪里不一样，你可曾提到“用”？

保持运动量不足明显是不良嗜好之一……