リリース3日前、社内――

つよつよエンジニア「これって型アノテーションをつけるといいね」
俺「リリース３日前に！？（はい！　わかりました！）」

俺はPythonでの型アノテーションのやり方をググっていた――。

型アノテーションとは

型アノテーションとは、変数や関数の引数・戻り値に型に関するコメントをつけることである。
Python3.6 から追加された機能らしい。

あくまでもコメントであり、動作には影響を及ぼさないが、リッチなエディタ（PyCharm や VSCode ）は空気を読んで「ピッピー！　アノテーション警察です！　あなた今intが入るべき奴にstrを入れましたね！」と取り締まりにやってきてくれる……はずだ。

あくまでコーディング中にのみ利用できる機能になりますが、コードの可読性や品質が向上するため Python でプログラムを開発する際には型アノテーションは必須と言えます。

Hakky Handbook Pythonで型アノテーションを使う

必須といえるらしい。

じゃあ今まで使ってなかった俺のプログラムって何なんだ。
任意だったでもいうのか？

しかし、なるほど、単にコメントを乗っけていくだけだから、ミスったとしても動作には影響が出ない（給与査定には影響が出るかもしれない）。

文法さえミスしなければ、リリース直前にやっても影響範囲は小さそうである。

アノテーションのやり方

floatとかの、単純な型については例えばこうなる。

アノテーションなし

rate = 0.9

アノテーションあり

rate: float =0.9

単純な型なら、:float　というのを記述するだけだ。

さて……警告ってどんな感じに出るんだろうか？

int変数に無理やり🍩を食べさせてみた。

思ってた以上には、下線部波線も出ないし、ｽｯ……と気配が消えたくらいだ。
飲み会のときの俺の挙動と似ている。
どうも、VSCodeの拡張機能の、Pylanceがやってくれたらしい。
アノテーションのことがちょっと好きになってきた。

ちょっと複雑なアノテーションの例（追記あり）

※Python3.10以前

ちょっと複雑なアノテーションをしたいときは、

from typing import List, Dict, Optional

# Listの例
def get_names() -> List[str]:
    return ["Alice", "Bob", "Charlie"]

# Dictの例
def get_ages() -> Dict[str, int]:
    return {"Alice": 25, "Bob": 30, "Charlie": 35}

# Optionalの例
def find_student_name(student_id: int) -> Optional[str]:
    students = {1: "Alice", 2: "Bob", 3: "Charlie"}
    return students.get(student_id)

としていた。

（追記）
Python 3.9からは、リストや辞書の型アノテーションにはtypingモジュールからListやDictをインポートするのではなく、標準のコレクション型であるlistやdictを使用することが推奨されるようになった（コメントで教えてもらった。ありがとう！）

What’s New In Python 3.9 — Type Hinting Generics in Standard Collections
typing — Support for type hints — Python 3.9.19 documentation

引用：

Python3.10以降の例

# listの例
def get_names() -> list[str]:
    return ["Alice", "Bob", "Charlie"]

# dictの例
def get_ages() -> dict[str, int]:
    return {"Alice": 25, "Bob": 30, "Charlie": 35}

from typing import Optional

# Optionalの例
def find_student_name(student_id: int) -> Optional[str]:
    students = {1: "Alice", 2: "Bob", 3: "Charlie"}
    return students.get(student_id)

こうなるようだ。Optionalはそのままだ。

方法

俺は、ChatGPTに泣きついて何とかしてもらった。

といっても、全面的にやってもらったわけではなく、コードを渡して、WinMargeで比較して、ヘンな変更を入れられてないか確かめつつ1個1個行った。コメントが消されたり、一時的にコメントアウトしている部分が削られたりはしていたのだが、型のつけ間違いみたいなことは起こらなかった。
優秀だなあ。

感想

もともと、C言語->C++->C#という感じでプログラミングを学んできたので、はじめてPythonを触ったときには驚いた。

a = 1

も、

a = "なんとか"

も、どっちも書けてしまうもんな。

よく考えてみれば、たしかに、コンパイル時に右辺で何を入れられているかを見れば型指定は必要がない。

へー、すごいじゃんね、と思ったが、ところがあえて型指定をしようというのがPythonの型アノテーションである。
人間は、あまりに自由を与えられると困惑してしまうのかもしれない。

などと分かったことを言いつつ……Hakky Handbook Pythonがそう仰るならそうなのだろう。俺は長いものにはくるくるまかれていきたい。

追記：その２

Pydanticなど型を参照しバリデーションする場合、動作に影響することがある
とコメントを頂いたので調べてみた。

Pydanticは、Python用のデータバリデーションおよびデータ解析ライブラリで、型を強制する効果がある。こういうのを導入すると、型アノテーションとはいえども動作に影響することがあるようだ。

参考

typing --- 型ヒントのサポート
 Hakky Handbook Pythonで型アノテーションを使う