[haskell] ghci desugar 유형은 왜 패밀리를 나열하고 유형합니까? 선택적으로 비활성화 할 수 있습니까?

Program / 글쓴이

내 라이브러리의 유형 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

하지만 Replicated 버전을 요청하면

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]

답변