煽りじゃない動的型付けへの不満

・関数、メソッドの引数が型に応じた補完を受け付けない（以下例）
def f(self, x):
    self.foobar() # これは補完できるし、
    y = T()
    y.foobar()    # こっちも補完できるけど、
    x.foobar()    # これは補完できない

・カリー化の扱いが難しい
（引数の数を間違えたときに、予想外の場所でエラーが出て酷い事になる）


個人的にタイプミス補正は型の問題じゃないと思ってる（>>367に同意）