JAPANESE
ランク多相
らんくたそう
KOREAN
랭크 다형
[レンク タヒョン]
ハングル読み: 란쿠타소우
解説
関数の引数として多相関数自体を受け取れるようにする型システムの機能。ランク1多相では呼び出し側が型を決定するが、ランク2以上では受け取り側が複数の型に対して適用できる。
함수의 인수로서 다형 함수 자체를 받을 수 있게 하는 타입 시스템의 기능이다. 랭크1 다형에서는 호출 측이 타입을 결정하지만 랭크2 이상에서는 수신 측이 여러 타입에 대해 적용할 수 있다.
例文
ランク多相を活用し、任意の型に適用できるレンズ関数を引数として受け取る汎用的な変換器を実装した。
랭크 다형을 활용하여 임의의 타입에 적용 가능한 렌즈 함수를 인수로 받는 범용적 변환기를 구현했다.