JAPANESE
リファインメント型
りふぁいんめんとがた
KOREAN
리파인먼트 타입
[リパインモントゥ タイプ]
ハングル読み: 리후아인멘토가타
解説
既存の型に述語条件を付加して、値の範囲や制約を型レベルで表現する仕組み。正の整数や非空文字列などをコンパイル時に保証でき、Liquid HaskellやScala Refinedで利用される。
기존 타입에 술어 조건을 부가하여 값의 범위나 제약을 타입 수준에서 표현하는 구조이다. 양의 정수나 비어 있지 않은 문자열 등을 컴파일 시에 보장할 수 있으며 Liquid Haskell이나 Scala Refined에서 이용된다.
例文
リファインメント型でポート番号を1-65535の範囲に制限し、範囲外の値をコンパイル時に拒否した。
리파인먼트 타입으로 포트 번호를 1-65535 범위로 제한하여 범위 밖의 값을 컴파일 시에 거부했다.