GHCi에서 arrow : kind (->) 함수의 종류가 왜 물음표`(->) :: ??를 포함합니까? ->? -> *`?

Question

가능한 중복 :

Prelude> :kind (->) 
(->) :: ?? -> ? -> * 

: 나는 함수 타입의 종류를 요청할 경우
Haskell Weird Kinds: Kind of (->) is ?? -> ? -> *

GHCi에서

(버전 7.0.2)은, 결과는 물음표를 가지고

왜 종류에 별표 대신 물음표가 포함됩니까 * -> * -> *? 의문점은 무엇을 의미합니까? 왜 다른 유형은 별표를 사용합니까?

Prelude> :kind (,) 
(,) :: * -> * -> * 

Answer 1

? 및 ??가지는 GHC 확장, 특히 언 박싱 유형을 참조하십시오. 이는 단지 수 (#) (박스 없음 튜플 - ("# 및 * 적어도 상한"박스 또는 일반 박스 없음 타입) http://hackage.haskell.org/trac/ghc/wiki/IntermediateTypes는 확장 가지의 관계 ? (모든 가능한 타입) # (박스 없음 타입) ??를 나타내는 도면을 갖는다 적은 수의 문맥에서 사용됨). (표준 종류 *은 일반 박스형을 참조합니다.)