JAPANESE
型ウィットネス
かたうぃっとねす
KOREAN
타입 위트니스
[タイプ ウィトゥニス]
ハングル読み: 카타우잇토네스
解説
型の等価性や型制約の証拠を値として表現するデータ型。GADTsと組み合わせて使用され、異なる型間の安全なキャストや型レベルの証明をランタイムに持ち込む手法である。
타입의 동등성이나 타입 제약의 증거를 값으로 표현하는 데이터 타입이다. GADT와 조합하여 사용되며 다른 타입 간의 안전한 캐스트나 타입 수준의 증명을 런타임에 가져오는 기법이다.
例文
型ウィットネスで型の等価性を実行時に検証し、型安全なヘテロジニアスコレクションを実装した。
타입 위트니스로 타입의 동등성을 실행 시에 검증하고 타입 안전한 이종 컬렉션을 구현했다.