JAPANESE
篩型
ふるいがた
KOREAN
시브 타입
[シブ タイプ]
ハングル読み: 후루이가타
解説
既存の型の部分集合を述語で定義する型。正の整数や非空リストなど、値の条件を型レベルで表現する。リファインメント型と類似するが、型理論では集合論的な構成として区別される。
기존 타입의 부분 집합을 술어로 정의하는 타입이다. 양의 정수나 비어 있지 않은 리스트 등 값의 조건을 타입 수준에서 표현한다. 리파인먼트 타입과 유사하지만 타입 이론에서는 집합론적 구성으로 구별된다.
例文
篩型を用いて年齢を0-150の範囲に制限し、ドメインの不変条件を型システムで表現した。
시브 타입을 사용하여 나이를 0-150 범위로 제한하고 도메인의 불변 조건을 타입 시스템으로 표현했다.