하스켈 데이터 "오류 - 스택 오버플로 제어"

Question

저는 하스켈에서 초보자이고 첫 번째 데이터 구조를 쓰고 있습니다.

예를 들어

data Nat = Null | N Nat 

: 5 내가 이미 Eq를 작성하고 작동 Show, Eq, Ord, Num, Enum

에서 인스턴스를 생성해야 N (N (N (N (N Null))))

입니다.

instance Eq Nat where 
    (==) Null Null = True 
    (==) (N Null) (N Null) = True 
    (==) Null (N Null) = False 
    (==) Null (N xs) = False 
    (==) (N xs) (N xs2) = xs == xs2 

그러나 이것을 포옹으로 시도하면 오류 ("오류 제어 스택 오버플로")가 발생합니다.

그리고 계속할 수 없습니다.

(N (N Null)) :: Nat 

무엇이 누락 되었습니까?

Answer 1

모든 사례를 다루고있는 것은 아닙니다. 또한, 다음과 같이 마지막 "나머지는 모두 잡아"케이스를 제작하여 정의를 단순화 할 수 있습니다 :

instance Eq Nat where 
    (==) Null Null = True 
    (==) (N xs) (N xs2) = xs == xs2 
    (==) _  _  = False 

나는 아무 생각하지만, 코드가 당신에게 스택 오버 플로우를 준 이유에 대해. 그것은 아마도 당신에게 비 포괄적 인 일치 오류를 주었을 것입니다.

어쨌든, Hugs는 현재 사용되지 않습니다. 업데이트없이 10 년 이상 지난 것입니다. GHC로 전환하고 Hugs 대신 ghci을 사용해야합니다. 당신은 여전히 ​​스택 오버 플로우를 얻을 경우

---

, 그것은 문제가 윌렘 반 Onsem 위의 지적대로, 무한 재귀를 정의 할 수있는 Show 인스턴스에 가능성이 높습니다.

당신은 그런데

instance Show Nat where 
    show Null = "Null" 
    show (N x) = "(N " ++ show x ++ ")" 

같은 것을 사용해야합니다 일부 표준 인스턴스가 자동으로 올바른 방법으로 생성 할 수 있습니다. 예를 들어,

data Nat = Null | N Nat deriving (Show, Eq, Ord) 

은 의도 한대로 작동해야합니다. 그러나 이것을 스스로 정의하는 것은 좋은 학습 방법입니다.