アドベントカレンダー24日目の投稿です。typingについて自学自習のためにまとめました。strの部分が戻り値の型を表しています。file)ちゃんとエラー出してくれた\(^o^)/独自の型を定義してみるアプリケーション内で、独自の型を定義できると嬉しいので試してみます。Typing.NewTypeを利用します。<--UserId(10)が正しいprint(msg)このまま実行すると、成功してしまいます。UserId:10mypyでチェックすると、誤った型の値を渡していることを確認できます。file)実行時に型チェックする実行時にはtypingで指定した型による制約を受けません。デバッグ時や外部サービスから入力された値の型など、実行時に型チェックしてエラーにしたい場合があると思います。ここではtypeguardというライブラリを利用してみます。作ってしまうことを防ぎます。これらのチェックは静的型検査器のみによって強制されるということに注意してください。'int'>型指定ない関数を経由して値を渡す下記のようなケースを考えてみます。fileこのコードは実行時にもエラーになりません。先程のtypeguardを利用すれば実行時にエラーを補足できます。instead所感mypyを利用することで、仕様通りの型で実装しているかどうかチェックすることでアプリケーションの安全性を高めることができそうです。PostIdを区別して誤った種類のIDを渡すような実装をしてしまった・・みたいな事も防げそうです。運用上は、CI-toolと組み合わせて自動チェックできるようにすると良いと思います。型ヒントを用いた動的型チェックはアプリケーション全般的に利用するというよりは、限定的なユースケースで利用するのが現実的かなぁという印象です。upLoginユーザーは見つかりませんでした。