JAPANESE
高カインド型
こうかいんどがた
KOREAN
고카인드 타입
[コカインドゥ タイプ]
ハングル読み: 코우카인도가타
解説
型を引数に取る型コンストラクタを抽象化する仕組み。Functor、Monad、Traversableなどの型クラスを汎用的に定義でき、ScalaやHaskellで高度な抽象化に活用される。
타입을 인수로 받는 타입 생성자를 추상화하는 구조이다. Functor, Monad, Traversable 등의 타입 클래스를 범용적으로 정의할 수 있으며 Scala나 Haskell에서 고급 추상화에 활용된다.
例文
高カインド型を使いFunctorインターフェースを定義し、List・Option・Futureに共通のmap操作を提供した。
고카인드 타입을 사용하여 Functor 인터페이스를 정의하고 List·Option·Future에 공통 map 연산을 제공했다.