俺寻思现实不是跟标题反过来的吗？ Go最大的问题不就没泛型跟没异常，但是泛型早就由Philip Wadler(Haskell 大手子)加入语言了，而Rust这PL显学也没异常而是改用sumtype取代之，那核心问题不就是没sumtype吗？ 那C也没sum type啊，这不更输麻了。

那如果这些算输麻的话，C++加入了sum type，J***a正在用Optional替换Null，Python在加入gradual typing，这些都是学术界认为好的东西，是不是赢了三次，比双赢还要赢了？ 为什么这么…。