Pythonの関数の引数の型定義の意義とはなんですか

Question

前提・実現したいこと

単純にプログラムの定義の意味を知りたいです

該当のソースコード

class Person:
    def __init__(self, name:str, sex:str, age:int):
        self.name = name
        self.sex = sex
        self.age = age
    
    def info(self):
        print(f"名前：{self.name}\n性別：{self.sex}\n年齢：{self.age}")
        
1 = Person("太郎", "男性", 50)
p1.info()

名前：太郎
性別：男性
年齢：50

内容

def __init__(self, name:str, sex:str, age:int):

このname:strなどが型の定義だということは知ったのですが果たしてどのような意味があるのですか？
結局p1で情報を渡す順番にすべて依存するのではないですか？
例えばp1 = Person("太郎", 50, "男性")だと名前：太郎、性別：50、年齢：男性になると思います。型定義の意義が分かりません。
もしくは単純に他人へのソースコードを見やすくするためなのでしょうか
型定義は検索したらいくつか見つかったのですが実用的な意義が知りたいです。
よろしくお願いします。

追加で、完全に別件なのですが同じくdefの引数指定の中でdef test(n=0): などと式を入れているもののことを何というのですか？

よろしくお願いいたします。

Answer 1

実用的な意義が知りたい

大抵の言語で、変数や引数に型を定義/指定できる場合、それがあることで、コンパイル時やIDEに型をチェックして警告やエラーを発することができ、バクが抑制できます。

p1 = Person("太郎", 50, "男性") のように書くと、IDEで警告が発せられるので、間違えに気づくことができます。

pythonは変数/引数に型を指定しなくてもいいので、型の指定をしなければ、そのコードは警告を受けず、実行するまでエラーであることがわかりません。

また、読む人がわかりやすいってこともありますね。その読む人ってのは、未来の自分かもしれません。

defの引数指定の中でdef test(n=0): などと式を入れているもののことを何というのですか

「引数のデフォルト値」ですかね。

Comments

[Kos_]

大変参考になりました。
ありがとうございます。