#16 楼 @jiyinyiyong 果断 Erlang 搞起啊 ...
还有最后一招,把功能都砍掉 ...
#15 楼 @quakewang 这个分词不能吧 ...
竟然不是全用 Erlang ...
不能啊,类型推断算法本身有复杂度限制啊 ...
Inferring Recursive Data Types 里面总结了几种不同的类型系统,对应的类型推断算法的复杂度,有几种是 P/NP HARD 的 ...
是所有的语言,能够类型推断的话,就都能够被编译成二进制代码吗?
不需要类型推断,也能编译成二进制代码的。只是运行起来可能还没解释执行快
所以没事不要折腾架构啊 ...
模板怎么就硬伤了 ... BossDB 才是硬伤 ...
一口吃成大胖子 ...
光这个 QQ 就不得了了
这个和 HTTPS 没关系吧
改成 P2P 的吧 ...
Ruby 的好基友 Perl,就写过一个啊 http://cardinal2.rubyforge.org/ 只是 parser 有点不对劲 Ruby 的好基友 Python,就写过一个啊 https://github.com/topazproject/topaz 只是 parser 不太对劲 ...
其实 Ruby 自己也有啊 http://rubini.us/ 但是我总觉得 Rubinius 会用 LLVM 很奇怪