Haskell의 Kind 시스템: 값에서 타입, 그리고 그 너머로
Types of types: Haskell's Kind system
Haskell의 Kind 시스템을 값, 타입, Kind, 고차 Kind 타입, 고차 Kind 데이터, 커스텀 Kind 순으로 설명한다. Kind는 타입을 분류하는 수단으로, `Maybe`와 `Maybe Int`, `Show` 같은 타입 수준 구문을 구분하게 해준다. 고차 Kind 타입은 타입 생성자를 인자로 받는 타입 생성자로, 타입 클래스와 결합해 재사용성을 높인다. 고차 Kind 데이터 패턴은 데이터 타입이 타입 생성자를 매개변수로 받아 필드를 감싸는 방식이다. 저자는 Redis 서버 클론에 타입이 지정된 설정을 추가하며 이 개념들을 익혔다.
Kind는 타입에 대해 타입이 값에 대해 하는 것과 같다.