#18 楼 @krazy Elixir 丑爆了 ...

#16 楼 @jiyinyiyong 果断 Erlang 搞起啊 ...

还有最后一招，把功能都砍掉 ...

#10 楼 @rasefon

我理解的类型推断相当于在编译期运行个类似 Prolog 的东西

比如

fun f(a, b) { return a+b; }

改写成

f(A, B, Ret) :-
  +(A, B, Ret)

就好了

#7 楼 @rasefon 我看不懂那么多术语 ....

#15 楼 @quakewang 这个分词不能吧 ...

竟然不是全用 Erlang ...

#9 楼 @mvj3 12306.cn 难个屁啊，就一个卖票的网站 ...

#4 楼 @jiyinyiyong

不能啊，类型推断算法本身有复杂度限制啊 ...

Inferring Recursive Data Types 里面总结了几种不同的类型系统，对应的类型推断算法的复杂度，有几种是 P/NP HARD 的 ...

是所有的语言，能够类型推断的话，就都能够被编译成二进制代码吗？

不需要类型推断，也能编译成二进制代码的。只是运行起来可能还没解释执行快

#2 楼 @mvj3

不要提架构，千万不要提架构

trivial programming 需要屁个架构啊。

能定义清楚 schema 和 protocol 就不错了

人月神话都说了，理解了数据之后，代码通常是可以丢掉的 ...

所以没事不要折腾架构啊 ...

#6 楼 @search Erlang 的语法是硬伤的话，几乎所有语言的语法都是硬伤了...

模板怎么就硬伤了 ... BossDB 才是硬伤 ...

#4 楼 @chairy11 就是啦 ...

一口吃成大胖子 ...

#14 楼 @lgn21st NoSQL 没有解决 RDBMS 水平扩展的问题 ... NoSQL 是直接回避掉那些难以水平扩展的问题来搞水平扩展 ...

#5 楼 @jasl 简单情形也很麻烦啊 ...

#1 楼 @jasl MongoDB 开发慢，好不好...

光这个 QQ 就不得了了

这个和 HTTPS 没关系吧

改成 P2P 的吧 ...

#8 楼 @rasefon

Ruby 的好基友 Perl，就写过一个啊 http://cardinal2.rubyforge.org/ 只是 parser 有点不对劲 Ruby 的好基友 Python，就写过一个啊 https://github.com/topazproject/topaz 只是 parser 不太对劲 ...

其实 Ruby 自己也有啊 http://rubini.us/ 但是我总觉得 Rubinius 会用 LLVM 很奇怪

#2 楼 @knwang 太悲哀了 ...

#101 楼 @luikore 你那个是无类型吧。弱类型是有隐式类型转换。只有这种情况才有类型闭包一说吧。

#101 楼 @luikore 静态分析没什么类型闭包吧，差不多就是在编译期关于类型的 Prolog ...

比如

fun f(a, b) { return a+b; }

改写成

f(A, B, Ret) :-
  +(A, B, Ret)

类型检查因为有上下文，倒是没有什么问题。因为显然满足 close-world assumption?

静态分析就意味着你要给出所有可能的情况。这个很容易就变成不可能的任务了。

#97 楼 @rasefon 要么就是我没理解你在说什么，要么就是你没理解类型推断是怎么实现的

#95 楼 @rasefon 最大的问题是没法确定类型正确的边界在哪里，有很多时候 Python 代码是依赖异常来工作的，你不能说会导致异常就说传进去的值的类型不对。

#93 楼 @rasefon 不是的，比如 Python

class A(object):

    def x(self):
        return 1

A.x(self) 的 self 的类型必须是 A 么 ?

完全没有必要 A.x(None) 也是可以的嘛

#91 楼 @rasefon 你这个说的是弱类型吧

#89 楼 @luikore 所以，直接改用 Erlang 就可以了 ...