@chinnmt 你好像猜对了
要推的话还是认准人比较好，别随便找了一个推了之后联系不上，A 厂的流程有时候又很蛋疼

语法糖比较 trivial 也就算了，“将某些错误提前到编译期” 在楼主的眼中也那么的 trivial 么？

@yiranHZT LeetCode 里面好多 solution 说真的 hardly 算是“优秀的代码”
当然其他 OJ 只能是指数级的更差

说小米仿 mac 的，我觉得小米最大的问题是他偏偏仿了 mac，他仿个 chromebook pixel 估计就好点了

这个东西按照 C++ 的 jargon 来说叫 type deduction，我是觉得这个名字更合适一点的，因为 ML，Haskell，Scala 和 C++11/C#/Java 的所谓 type inference 完全是 different beasts，和 Java 这个类似的在 V 站主流热捧的 Golang 中也有体现
顺便 80 年代之前代表性的算法 Algorithm W 就已经提出了（根据 wikipedia 最早的 type inference 算法在 58 年就出现了），85 年 Miranda，90 年 Standard ML 标准，这个标准最后一次修订的时候我还在娘胎里

所以说 10 年不是总量，而是单位
当然看起来对于 Java 来讲，以世纪作为单位好像也没什么太大的关系

鲜活照片 ... 这用词

这东西稍微玩一点 oj 就知道了

出门左转 nga

话说那些什么专业显示器貌似最重要的都是色彩表现，暂时没什么人在意响应时间什么的

node 的位置其实有点尴尬。


如果从技术的角度考虑的话，还是离 前端 这个 title 远一点吧，这个东西和楼主的方向是矛盾的。

别的挺好，就是 专业技能 那里，写得不 专业

哪有把 mysql 和 mongodb 放在一块然后叫 sql 的

你在说新闻联播上经常出现的那种老板？

@ke1e
@autoxbc
有趣的理论
我甚至道听途说过有一个研表究明种群的 overpopulation 会导致 homosexual 行为的增加

T 大本科这种层次建议去逼乎 ……

一个封闭的垄断系统，算什么典型例子
http://stackoverflow.com/questions/8390979/why-create-system-call-is-called-creat c - Why create system call is called creat? - Stack Overflow 私以为这个才是最典型的

@secondwtq 我的意思是合格的后端本来就应该了解这些东西
这些概念还需要专门补的话那还是先把后端学好吧

@halden 闭包和 Promise 本来就不是前端专有的东西 ...

@greatbody 黑的好

不要钻牛角尖，另外 Python 不适合在这举栗子
大多数人比较熟悉的语言中，典型的 higher kinded type 表现是 C++ 的 template template parameter，虽然我很怀疑有多少人知道这个东西，如果楼主接触过 C++ 的 template 的话可以去看一下，比 Scala 的要友好一点

Rust 的 lifetime 我的理解他就是和所谓的类型分离的（但是又运用了很多为类型设计的静态分析的东西），只是语法上借了类型的地方而已，这里有几个 implementation note：
https://github.com/rust-lang/rust/tree/master/src/librustc/infer
https://github.com/rust-lang/rust/tree/master/src/librustc/infer/lexical_region_resolve
https://github.com/rust-lang/rust/tree/master/src/librustc/infer/region_constraints

我不觉得这个和 higher kinded type 有什么鸟关系，另外这个东西我记得有人说借鉴了 Region-Based Memory Management，这个我还没看，楼主真要钻的话可以去看 ATTAPL 还有相关的 paper