##問題意識の所在 自作クラスを宣言するときに、定義するクラスが用いるデータ型に制約を与えるだけでなく、そのクラスのインスタンスが__持ちうる値の範囲や、長さの範囲についても制約を与える__ことができる言語は、__依存型や篩型の型クラスを宣言できる言語__として、知られています。篩型は、「ふるい」型と読みます。 __データ型に「要素数」や「長さ」といった数的な制約条件を持ち込むことで、どんな...

##この記事で行うこと __要素の数が、[ある数値以上、ある数値以下]であるlist配列であること__、という__型制約__を持つ__自作クラス（自作データ型）__を__Pythonで宣言__してみます。 このデータ型のインスタンスを生成するときに、__コンストラクタに、上記の条件を破る引数を与えると、*TypeError*が発生して、Pythonは処理を終了__します。 なお、__このli...