pythonの型記述は、実行時にエラーを出さないので型を間違えて記述すると有害ではないですか？

Question

pythonの型記述をするとpythonインタープリターは構文を読み込んでくれるけど、例えばint型に文字列を渡しても
実行時にエラーにならないと聞きます。
phpの場合ですと、型を矯正できるので同じインタープリターでも意味があるかと思うのですが
pythonの場合戻り値の型が間違えていた場合、それを信じてコードを書くとバグに繋がると思います。
pythonの型を記述できるというのは、有益なのでしょうか。

Comments

[hentaiman]

https://docs.python.org/ja/3/library/typing.html
とりあえず読んでから考えてみてはどうでしょう

[doumeishi]

pythonの型はlinterが解釈するから、論理ミスを防ぐのに役立つんですね。
失礼しました。

[hentaiman]

そうですね、生pythonを書くのならそういう事になります

Answer 1

この世には、静的型指定言語と、動的型指定言語、というものがあって、それぞれ長所短所は一長一短です。

以下は、私の個人的な考えですが、それぞれの特徴を表しています。

	静的型指定言語	動的型指定原個
記述の単純さ	×	○
融通の効きやすさ	×	○
型不一致の発見のしやすさ	○	×

なお、コードの品質管理のしやすさは、記述の単純さ×型不一致含めたエラーの発見のしやすさ、に相関しますので、必ずしも、静的型指定言語の開発品質が高くなるわけではありません。

型不一致の発見のしやすさが重宝され、企業の開発では、静的型指定言語（代表はJava）が重宝されるように思います。一方、動的型指定言語の生産性の高さが昨今注目されています（代表はJavaScript、Python）。また、動的型指定言語の良さを活かしつつ、「なんちゃって静的型指定」の皮を被せた言語も最近幅を利かせています（代表はTypeScript、Dart2/Flutter）。

Pythonは動的型指定言語の代表選手ですので、静的型指定言語の価値観で測られると不満足かもしれません。ただし、少しだけ静的型指定言語の長所も取り入れようとしているのが、現時点の型記述です。

できるなら、普段使いの言語を複数保有して、目的に応じて使い分けられると、よいと思います。