>>785
型システムに限らないことをいえば、強力であればあるほど複雑
になるというのは間違いだ
それこそ、Schemeを見ればわかる
そして、次に100歩譲って型システムに限れば、強力であればあるほど複雑になるとしても、
結局、強力であるがために継ぎ接ぎだらけであるという主張の反論にはなっていない
そして、さらに、型システム以外の点でも継ぎ接ぎだらけだ
たとえばGuidoは普通の括弧と中括弧の中でのセミコロンの挙動の違いをあげてるな