내 라이브러리의 유형 ghci 디스플레이를 가능한 한 직관적으로 만들려고 노력하고 있지만 더 고급 유형 기능을 사용할 때 많은 어려움이 있습니다.
파일에이 코드가 있다고 가정 해 보겠습니다.
{-# LANGUAGE TypeFamilies #-}
{-# LANGUAGE DataKinds #-}
{-# LANGUAGE TypeOperators #-}
import GHC.TypeLits
data Container (xs::[*]) = Container
ghci에서로드 한 다음 다음 명령을 입력합니다.
ghci> :t undefined :: Container '[String,String,String,String,String]
불행히도 ghci는 나에게 다소 추한 모습을 보여줍니다.
:: Container
((':)
*
String
((':)
* String ((':) * String ((':) * String ((':) * String ('[] *))))))
ghci는 유형 수준 문자열의 설탕을 제거했습니다. ghci가 이것을 방지하고 나에게 예쁜 버전을주는 것을 방지하는 방법이 있습니까?
관련 메모에서 유형 수준 Replicate
함수를 생성한다고 가정 해 보겠습니다.
data Nat1 = Zero | Succ Nat1
type family Replicate (n::Nat1) x :: [*]
type instance Replicate Zero x = '[]
type instance Replicate (Succ n) x = x ': (Replicate n x)
type LotsOfStrings = Replicate (Succ (Succ (Succ (Succ (Succ Zero))))) String
이제 ghci에게 다음을 사용하여 유형을 요청할 때 LotsOfStrings
:
ghci> :t undefined :: Container LotsOfStrings
ghci는 훌륭하고 예쁜 결과를 제공합니다.
undefined :: Container LotsOfStrings
하지만 Replicate
d 버전을 요청하면
ghci> :t undefined :: Container (Replicate (Succ (Succ (Succ (Succ (Succ Zero))))) String)
ghci는 유형 동의어를 사용하지 않았을 때 유형 계열을 in으로 대체합니다.
:: Container
((':)
*
[Char]
((':)
* [Char] ((':) * [Char] ((':) * [Char] ((':) * [Char] ('[] *))))))
ghci가 유형 계열을 대체하지만 유형 동의어가 아닌 이유는 무엇입니까? ghci가 언제 대체를 수행할지 제어하는 방법이 있습니까?
답변
내가 아는 해결 방법은 : kind를 사용하는 것입니다. 예를 들어
ghci> : kind (컨테이너 ‘[문자열, 문자열, 문자열, 문자열, 문자열])
제공 :
(컨테이너 ‘[문자열, 문자열, 문자열, 문자열, 문자열]) :: *
동안
ghci> : 종류! (컨테이너 ‘[문자열, 문자열, 문자열, 문자열, 문자열])
다음과 같이 인쇄됩니다.
컨테이너
(( ‘:)
* [Char] ((':) * [Char] ((':) * [Char] ((':) * [Char] ((':) * [Char] ('[] *))))))
물론 공식적으로는 ghci에게 다른 질문을 던지지 kind
만 작동합니다. undefined ::
어쨌든 사용 은 일종의 해결 방법이므로 이것이 충분할 것이라고 생각했습니다.
답변
이는 곧 출시 될 GHC 7.8에서 수정되었습니다.
GHC 7.6은 데이터 유형이 PolyKinds를 사용하는 경우 종류를 인쇄합니다. 그래서 당신은 (':) * String ('[] *)
단지 (':) String '[]
.
GHC 7.8에서는 종류가 더 이상 기본적으로 표시되지 않고 데이터 유형이 예상대로 목록으로 인쇄됩니다. 새 플래그 -fprint-explicit-kinds
를 사용하여 GHC 7.6 에서처럼 명시적인 종류를 볼 수 있습니다 . 그 이유를 모르겠습니다. 아마도 명시적인 종류는 PolyKinds를 이해하는 데 도움이 될 것입니다.
답변
import GHC.TypeLits
data Container (xs::[*]) = Container
ghci에서로드 한 다음 다음 명령을 입력합니다.
:t undefined :: Container '[String,String,String,String,String]