JAPANESE
型族
かたぞく
KOREAN
타입 패밀리
[タイプ ペミルリ]
ハングル読み: 카타조쿠
解説
型レベルの関数として、入力型から出力型への対応関係を定義する仕組み。Haskellの型族やRustの関連型が代表例で、型クラスに関連する型を柔軟に計算・選択できる。
타입 수준의 함수로서 입력 타입에서 출력 타입으로의 대응 관계를 정의하는 구조이다. Haskell의 타입 패밀리나 Rust의 관련 타입이 대표적이며 타입 클래스에 관련된 타입을 유연하게 계산·선택할 수 있다.
例文
型族を使ってコレクション型ごとに異なるイテレータ型を関連付け、型安全な汎用関数を定義した。
타입 패밀리를 사용하여 컬렉션 타입마다 다른 이터레이터 타입을 연관시키고 타입 안전한 범용 함수를 정의했다.