Python の型システムの上で Immutable な Python プログラムを作る - 病みつきエンジニアブログ

まえがき 今年の PyCon JP 2020 にて「Python 3.9 時代の型安全な Python の極め方」というタイトルで登壇させていただきます。本稿は、発表の補足となる「型ヒントを使って Immutable な Python を実現する方法」について紹介したものです。 Python の型ヒント Python には「型ヒント」という機能があり、型をプログラム内に宣言することができます。 age: int = 28 name: str = 'Bruce Wayne' Python は動的型付き言語であるため、この情報はランタイム(実行時)にはあまり意味がないのですが、 mypy などの型チェックツールをつかうと、型の誤りをチェックすることができます。 def check_batman(name: str) -> bool: return name == 'Bruce Wayne' a

[yamitzky]

#pyconjp での発表の事前補足として書きました！

[Sampo]

id:peperon_brain システムプログラミングと計算の世界はまた違うのでよいのです。計算の世界では間違いのなさは数学的な証明によってしてますからね。

[nikkie-ftnext]

発表資料・アーカイブと結束 https://pycon.jp/2020/timetable/?id=203955

[misshiki]

“今回は クラスやリスト等のデータ構造が不変な状態を保つこと を目的とし、変数の書き換え防止や副作用全般のコントロール、ランタイム時の Immutability などは目的としていません”

[ryuichi1208]

Immutable なデータ構造、なるほど。

[Soraneko]

👀

[peperon_brain]

最近画像処理系ML系のコードに触れ始めたけど、ナチュラルに変数ガンガン再代入してくスタイルが多くて困惑している(自分の周りだけか？)

[shinyorke]

めちゃくちゃわかりやすい型の話 そして宣伝ありがとうございます笑