하스켈 인스턴스 선언 만들기

Question

하스켈에게 멍청한 멍청한 질문이 올거예요. 내가 ghci 출력 작업을하고 인스턴스 선언에 붙어있어 노력하고있어. 나는이 같은 선언을 만들기 위해 노력했습니다

data Cmd = LD Int 
     | ADD 
     | MULT 
     | DUP 
     deriving Show 

type Prog = [Cmd] 

type Stack = [Int] 

type D = Stack -> Stack 

:

instance Show D where show = Stack 

을하지만, 내 모든 시도가 주어진 - 어떻게 "(> 스택) 쇼 (스택)"에 대한 인스턴스를 선언 할 수 불법적 인 인스턴스 선언이 발생했습니다. 어떤 도움이나 참고 사항이 많이 감사합니다!

Answer 1

기본적으로 동의어 (즉, type을 사용하여 정의 된 내용)는 인스턴스 선언에서 유효하지 않습니다. 그러나 이것을 허용하는 GHC 확장이 있습니다.

그 외에도이 특별한 경우에 show은 String을 반환해야합니다. 귀하의 인스턴스가 ...와 같은 유형의 동의어 이름을 반환하려고 시도하고 있습니다. 심지어는 Int (show의 경우 잘못된 반환 유형) 목록을 참조합니다.

마지막으로 D은 함수 유형입니다. 그게 어쨌든 show일까요? 대부분의 경우 함수 유형에서 Show 인스턴스로 의미있는 작업을 수행 할 수있는 것은별로 없습니다. 하지만,

{-# LANGUAGE TypeSynonymInstances #-} 
instance Show D where show _ = "Stack -> Stack" 

잘 모르겠어요 즉 실제로 얼마나 유용한 :

당신은 그냥 말하고 싶은 경우

는이 같은 인스턴스를 작성할 수 있습니다 "이 D를 입력입니다."