RedHat?

@yedanten 为什么要关优化？
你可以去看下 LLVM 的代码，大块的 switch 满天飞

https://en.m.wikipedia.org/wiki/Pattern_matching 了解下

我觉得你标题是想写互联网行业

@ryd994 你也可以为加速人类灭亡做贡献

@tison 互联网的分布式跟 HPC 的分布式貌似不是一个分布式 ... HPC 更偏向于并行方面

HPC 我理解主要还是算法模型方面，把计算资源利用起来就行，细节底层库去处理，比如 HPC 可能很少考虑某个机器 down 掉了怎么办之类的
DDIA 这个就完全就是面向用便宜货的互联网吊丝的，你把这东西给 HPC 的人看，就冲全书对 GPU 都只 字 未 提这一点，人家就会觉得这不配 "Data-Intensive" 这个名字

要不要看看猫论？
https://github.com/hmemcpy/milewski-ctfp-pdf
https://www.youtube.com/watch?v=I8LbkfSSR58

@dragonszy 我觉得你这个属于一个经典谬误：相关关系不能推出因果关系

“设计越来越好”这个过程是要经过一定的时间的，这个时间里面可能会有更好的替代品出现，用户少了可能是因为竞品而不是因为自身设计的变更

V 站居然有玩 Demoscene 的，我很好奇楼主做的是什么高大上项目，能不能剧透一个


@xmoiduts 你可以理解为 GLSL 是 GPU 的 C 语言，OpenGL 是 GPU 的系统调用 + 一个 gcc，不管你在 C++ 里面还是 Python 里面还是 JavaScript 里面调其实都相当于给 GPU 发 RPC 编译运行程序

人类现在的最大能力是核弹犁地，然而你可以放心苍蝇蚊子蟑螂这种东西核弹干过一遍也灭不了，等到人类作干净之后，他们就是地球的未来

@thedog Linux 本来就野
https://cdn-images-1.medium.com/max/1600/1*lEX-oCv0yLOnEWrHPlO4KA.png
外媒是这么介绍 Linus 的工作台的：Linus ‘ s Global Software Headquarters
这不叫野什么叫野
从 SysV fork 出来的，有 UNIX 认证的还活着的最有名的是 Solaris，当然 Oracle 不搞了，现在只有 illumos，另外还有 HP 的 HP-UX，IBM 的 AIX
说 BSD 和 Linux 野是因为第一他不是 SysV 的代码，第二他没有 UNIX 认证，不过这问题很复杂，这个认证好像看得是整个系统，不是内核，因此 Linux 这种只有内核的东西就没法认证，但是 Linux 没认证不带表 Linux 的所有发行版都不能认证

我觉得有一些东西现在还有借鉴的价值，所以我自己维护了一个单子叫 Forgotten Ideas in CS
比如说到 UNIX，怎么能不提他老爹 Multics 呢
UNIX 的孩子 Plan 9 后来生了个孙子叫 Inferno
还有 LISP Machine，现在还留下一支能用叫 Open Genera
另一边的 Imperative 邪教大主教 Niklaus Wirth 做过一个平台叫 Oberon，这个知道的人貌似就比较少了
而 OO 一派也不干示弱，Alan Kay 拿出了 Smalltalk，并且喷了几十年我要的 Dynabook 你们到现在都没给我做出来（这个准确来说不算个 OS，不过从用户角度确实有 OS 的意思）
说到 IBM，IBM 有自己的生态系统，主要支持三个 OS：AIX，z/OS 和 Linux，z/OS 是 OS/360 系的，这货实现了 UNIX 标准，拿了认证，不过从历史上来看应该比 BSD 和 Linux 要野得多。IBM 有不少奇怪玩意，我也理不清楚
NT 之后 Microsoft Research 曾经尝试现代化整个软件栈，叫 Singularity，后来叫 Midori，MSFT 前员工 Joe Duffy 写过若干 blog 讲这东西的设计，强烈推荐
再接着翻旧账就到了 NT 之前的 OS/2
照这个翻还能翻到 Dave Culter 之前的 VMS，VMS （阿拉伯帝国）和 UNIX （拜占庭）之间的 Holy War 一直持续到今天变成了 Windows (NT) a.k.a 奥斯曼帝国 和 Linux/macOS/BSD （欧洲列强）之间的 Holy War
当然在此之前已经有一个空前强大足够用到人类灭亡的平台了叫 Emacs
Emacs 最开始是跑在一个叫 ITS 的古董系统上的
还有一个跟这个比就比较挫了，我小时候没啥钱，但是我听说当时的手机是能跑 Java 的
同时代的还有 BlackBerry OS
另外 WinCE 和 NT 不是一个内核，这个具体不清楚，只是当年 WP7 说用 CE 内核的时候这东西就死定了
Novell 的网络操作系统 Netease，哦不 NetWare
我这个列表里面还有个奇怪的名字叫 XTS-400，貌似是主打安全的，我也忘了是什么机缘碰到的了

现在搞 OS 的话，有那么几样挺有意思，一个是 L4 microkernel (seL4)，还有 Unikernel (MirageOS，很大部分是 OCaml 写的)
好的我以奇怪的 PL 打头，又成功地以奇怪的 PL 收尾了 ...

划重点：TypeScript

既然是 TypeScript，那么就通过编译器 hack 或者 lint 之类的静态分析方式，把 “ if (Function)”, “ Function == Boolean ”, ：“ Function;” 这种构造给禁掉就行

当然，“ Function? == Boolean ” 这种还是要留着的

我来讲个奇葩原因

之前在某大厂，工程师得有至少七成 Mac，产品运营随缘。反正不是 Mac 就是 ThinkPad + Windows 7

为什么没有 Linux ？因为 IT 不支持，内网都连不上
为什么没有 Win10 ？因为 IT 不支持，内网都连不上
我记得去年 IT 才开始公测 Win10 的支持

上面有人说 Flash，其实还有个 Authorware，不能说用过，大概算是学过一点皮毛
Delphi 和 VFP 小时候都看过书，Delphi 还勉强看得懂，VFP 只能说是一脸懵逼

不过 Delphi 我觉得现在还活的好好的，好像还在出新版
并且在我们学校某个老师停止强制我们用 Delphi 做作业之前，我觉得这货不能算灭亡 233

类似 VB6 这种境遇的倒是还有 Windows 下的 VBScript 和 JScript。貌似这货在大众视野中成为 病毒 的子集之前，Node 的 de facto 爹 V8 的娘 Chrome 都还特么没出生。今天回过头来一看，你 Mac 装个 Node 跑俩破工具，好像也没比 Windows 用 VBS 写 InputBox 强啊

Fortran 现在活的起码比 Delphi 好得多，就前两个月，NVIDIA 从头重写的 f18 编译器刚刚进入 LLVM 官方项目

最有意思的其实是各种绑定平台的 DSL，这种基本上是平台活着就活着，平台死了就死了。但是一般情况是大多数人只接触过大平台，大平台就天生不容易死，更何况 V 站大多数又是近几年入坑的 Web 开发。这类 DSL 我用过的少说有 5 个，因为都是大平台所以没一个死的 :( 小平台死的肯定数不过来，然而没人知道

最应该出现然而尚未出现的回复是各种过气架构的汇编，虽然我更愿意把汇编当成规则十分复杂但又十分单一的宏+奇怪的库（当然你可以把硬件的 microcode，fusion 和 reorder 当成编译器和 RTS ...）

楼主没有必要这么较真，我要是碰到这种事会这么想：除了 Google 之外，其他的搜索都是业余，你的也是

这很阿 Q，但是就我作为一个用户的使用体验而言，确实是十分无奈但又十分真实的现状

@secondwtq 据我所知目前在这个 gap 之间的只有这么几种选择：Markdown 的各种魔幻扩展，PHP，Madoko

PHP 还有的救，Madoko 就是 TeX，Markdown 扩展跟 TeX 比就是这张图： https://gss0.baidu.com/-fo3dSag_xI4khGko9WTAnF6hhy/zhidao/pic/item/c9fcc3cec3fdfc033cfbce23d23f8794a5c226ad.jpg

欢迎举出反例，因为我发现所谓 Markup language 的世界真的太单调了，我非常愿意了解还有几个能打的

... Markdown “替代” Word 这种话也就只有程序员能说了

这俩（或者说 Word，TeX 这俩和其他标记语言）根本就不是一个定位的东西，没法拿来比的。在功能性上，Word、TeX 和其他标记语言有十分巨大的 gap，并且这个 gap 中间是没有别的选择的，意思是你要么用 ASCIIDoc/reStructuredText，要么用 Word/TeX，要么妥协你自己的需求。（ HTML 勉强能比，但是我觉得你都用 HTML 写东西了，干嘛不用 TeX ？）

你把这些标记语言给拿给非程序员，人家没准会选 BBCode/Discuz! 代码，不为别的，起码人家功能强啊（就算如此好像还是没有解决最基本的图文混排）

另外倒是有一些可视化编辑器很有意思，不过现在这年头的年轻人喜欢什么都往 Web 上面搬，这个歪风邪气本身就喝楼主要求离线的需求是相悖的 ... 所以¯\_(ツ)_/¯

WSL 本来意思是给你用命令行开发工具的，Windows 自己 GUI 是强项，Linux 的 CUI 是强项，微软估计不想趟这个浑水

当然 X 可以顺便支持一下

OCaml 不用学，会了 HTML 为什么还要学 OCaml 或 Standard ML 呢？