Int maxBound가 작동하지 않는 이유는 무엇입니까?

Question

> Int maxBound 

ghci를 사용하면

Not in scope: data constructor 'Int' 

import Data.Int라도 여전히 문제가 지속됩니다. 여기서 무슨 일이 일어나고있는거야?

Answer 1

편집 :

Prelude> :t maxBound 
maxBound :: (Bounded a) => a 

: 함수의 공식 문서는 maxBound의 유형 서명을 보면, 당신은

Prelude> maxBound :: Int 
9223372036854775807 
Prelude> 

을 일을해야 우선 http://www.haskell.org/ghc/docs/7.0.3/html/libraries/base-4.3.1.0/Prelude.html#v:maxBound

에있다

maxBound은 a 유형의 값을 반환하는 함수입니다. 여기서는 a은 Bounded입니다. 그러나 매개 변수를 허용하지 않습니다. Int maxBound은 데이터 생성자 Int 및 매개 변수 maxBound을 사용하여 무언가를 만들려고한다는 것을 의미합니다.

특정 오류 메시지에 대해서는 값인 Int (유형)을 사용하려고하는데 오류가 발생합니다. Data.Int을 가져 오면 도움이되지 않습니다.

Answer 2

유효하지 않은 하스켈입니다.

maxBound

이 the Bounded class에있는 유형의 최대의 요소를 정의하는 일정 :

Prelude> :t maxBound 
maxBound :: Bounded a => a 

는 특정 유형의 결합을 얻으려면, 당신은 특정 유형을 전문으로합니다. Type annotations은과 같이, 표현에 :: 구문 주어진다 :

Prelude> maxBound :: Int 
9223372036854775807