단일 기능 콜라주 체인의 서명 유형

Question

저는 haskell을 처음 접했고 유형 서명에 어려움을 겪었습니다. 저는 단일 함수 Collatz 체인 생성기를 개발 중입니다. 저는 몇 가지 haskell collatz 질문을 보았습니다. 그러나 제가 대답하려고하는 종류의 문제에 대한 답을 보지 못했습니다. GHCI를 사용하고 있습니다.

collatz :: (Num a) => a -> [a] 
collatz n 
    | n == 1 = [n] 
    | odd n = n : collatz (n * 3 + 1) 
    | even n = n : collatz (n/2) 

이 간단합니다 보인다; 여기

내 기능입니다 목록에 새로운 변형을 추가해야합니다. 그러나, 인터프리터는 나에게 이러한 오류를 제공합니다

collatz.hs:9:13: 
    Could not deduce (Eq a) arising from a use of `==' 
    from the context (Num a) 
.... 
collatz.hs:10:11: 
    Could not deduce (Integral a) arising from a use of `odd' 
    from the context (Num a) 
.... 
collatz.hs:11:36: 
    Could not deduce (Fractional a) arising from a use of `/' 
    from the context (Num a) 

컴파일러가 나를 사용하는 지시 형 타입의 서명의 모든 조합 내가 분명히 근본적인 뭔가를 누락

collatz :: (Eq a, Num a) => a -> [a] 
collatz :: (Integral a) => a -> [a] 
collatz :: (Fractional a) => a -> [a] 

실패 것으로 보인다. 누구든지 단일 기능으로 collatz 체인을 생산하는 방법을 말해 줄 수 있습니까? 문제는

Answer 1

, (/), 플로트 같은 반면, even 및 odd는 미적분학은 .... 기본적으로, even 및 odd의 개념 (ie- 홀수 1.5도이다 fractionals으로 이해가되지 않는 소수해야 할 필요가 ?).

두 번째 경우에도 n이 깁니다. 따라서 (/)을 quot으로 대체하면 문제를 해결할 수 있습니다.

유형은

collatz :: Integral a => a -> [a]