我没说过要和“无类型的”Python一样简单，用过强类型语言的都不会这么想。
事实上如今的Python也已经很复杂了，加上强类型当然会更复杂。
【 在 ilovecpp 的大作中提到: 】
: “带类型的Python”还跟Python一样简单，这是幻想。
: 类型系统的表达能力，复杂度，soundness，三者不能兼顾。
: 你搞出来的“带类型的Python”，要么和Java一样弱，要么和Haskell一样复杂，要么是个optional type checking。
--
FROM 123.114.39.*