typing

Pythonでtype hintのあるコードを書いていると良くlist[int]の様に[]が付けられた型アノテーションに出会う。 これらはジェネリクスといい、普通のintやstr等の様な型とは違って抽象的な型を定義して再利用するための仕組み...

Pythonだけでなくジェネリクスを持つ型システムを保有するプログラミング言語を触ると共変と反変という概念が出てくる。 これは型の表現力を最大限上げつつ同時に実行時にエラーを起こさないための機能である。 一方これはジェネリクスの上に乗っかっ...

type aliasを使用すれば型シグネチャが複雑なtype hintを簡約にすることが出来る。 この記事ではtype aliasに関して使用方法、メリット、使用上の注意について書く Type Aliasとは 簡単に言うと、複雑な型に別名を...