Pythonで、配列要素のデータ型と、配列の長さを型検査する依存型ライクなメソッドを作ってみた - Qiita

定義したメソッド 自作クラスを宣言するときに、定義するクラスが用いるデータ型に制約を与えるのと同時に、そのクラスのインスタンスが持ちうる値の範囲や、長さの範囲にまで、制約を与えることができる言語は、依存型や篩型の型クラスを宣言できる言語として、知られています。 Idrisやv6.11以降のRacket言語が、これらの型を宣言し、静的な型検査を行うことができる言語です。 ・Dependent Types と Refinement Types の違い ・Refinement Types For Haskell ・型をさらに拡張するーーRefinement Typesについて ・LiquidHaskell のインストールと学習方法 ・Liquid Haskell で普通の型システムの上を行け #NGK2017B これらの言語は、関数型言語です。Haskellが、関数型言語として、Qiitaでも