Annotated型を使うことで、型のメタデータを活用しつつPydanticの検証や変換を簡潔に記述できる。 TypeVarによるジェネリック型の導入で、リストや文字列などの汎用的な制約を一度に定義・再利用できる。 StringConstraintsや`Field(...)`で文字列や数値に柔軟な制約を ...

自治体向けサービスを開発する株式会社ミラボ（本社：東京都千代田区、代表取締役：谷川一也、以下「ミラボ」）と、情報モラル教育・プログラミング教育を手がける株式会社教育ネット（本社：神奈川県横浜市、代表取締役：大笹いづみ、以下「教育 ...

・エンジニアを仕事にはしていないけどPython使っている人 ・趣味でPython使っている程度でいまいちtypingの必要性が感じられない人(私はこれでした) にtypingをする目的が伝わればいいなと思い書きました。 経緯 私は7年趣味でPythonでアプリを開発してました。

筒井@ryu22eです。2023年5月の 「Python Monthly Topics」 のテーマは、Python 3. 11からtypingモジュールに追加された 「assert_ never関数、Never型」 です。 みなさんは 「この行には仕様上絶対に到達しないはず」 というコードを書いたことはありますか？ そして、バグが ...

typing.Annotated is a special type form that lets you attach arbitrary Python objects as metadata to a type annotation. Many frameworks like Pydantic and typer have adopted this mechanism as a way to ...

筒井@ryu22eです。2023年9月の 「Python Monthly Topics」 は、Python 3. 12の新機能 「PEP 692 – Using TypedDict for more precise **kwargs typing」 について紹介します。 PEP 692は**kwargs引数 （任意のキーワード引数を辞書型で受け取れる） への型チェックを強化してくれる機能です。

120秒間ひたすらタイピングし続けてコードを記述するゲーム「UnTyping」が公開されました。下記URLから誰でも無料でプレイできます。 URLにアクセスしたら以下のようにコースが表示されます。コースは「JavaScript」「TypeScript」「React」「Python」の4つです。