JAPANESE
パス依存型
ぱすいぞんがた
KOREAN
경로 의존 타입
[キョンロ ウィジョン タイプ]
ハングル読み: 파스이존가타
解説
型がオブジェクトのインスタンスに紐づく型システムの機能。Scalaのpath-dependent typeが代表例で、異なるインスタンスの内部型を型レベルで区別し、不正な混合を防止する。
타입이 객체의 인스턴스에 연결되는 타입 시스템의 기능이다. Scala의 path-dependent type이 대표적이며 다른 인스턴스의 내부 타입을 타입 수준에서 구별하여 부정한 혼합을 방지한다.
例文
パス依存型でDB接続ごとにトランザクション型を分離し、異なる接続のトランザクション混合を型エラーにした。
경로 의존 타입으로 DB 접속마다 트랜잭션 타입을 분리하여 다른 접속의 트랜잭션 혼합을 타입 에러로 만들었다.