Pythonに型推論機構を付けたような静的型付け言語が今後出てきて、それが流行る。