@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 ”，足以判断你的回答的主要成分显然就是胡扯。
排除这些内容，“用起来不一样”……不是我要找你茬，且不说哪里不一样，你可曾提到“用”？

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

@smol 不要瞎扔锅，这就是 DMR 那阵子搞出来的古董，哪来的委员会。

当然 BS 想甩掉而引入 trailing-return-type 又不敢扔掉 C 兼容搞得整体更复杂是另一回事——但是好歹比 Java 从来就没正经打算兼容还瞎倒腾高尚那么点。

@picone 立刻停止你平成的扯蛋行为。