스크립트에 대해 printf (putStr과 함께 사용하는 경우)에서 숫자 유형을 선언해야하지만 ghci에서는 그렇지 않아야하는 이유는 무엇입니까?

Question

putStr (printf "abc%d\n" 3)이 스크립트로 실행될 때 3이 모호한 이유는 무엇입니까? 아니요. 012h로 실행 중일 때이 모호합니까? 즉, 왜 스크립트에서 3의 유형을 선언해야하지만 ghci는 선언하지 않아야합니까? 여기

는 ghci 내에 동작이다

여기

$ cat runmain-good 
#!/usr/bin/env runghc 
import Text.Printf 
main = putStr (printf "abc%d\n" (3 :: Int)) 
$ ./runmain-good 
abc3 

가 3의 형태 인 경우와 script의 오동작이다 Int로 선언 할 때

여기

$ ghci 
GHCi, version 7.6.3: http://www.haskell.org/ghc/ :? for help 
Loading package ghc-prim ... linking ... done. 
Loading package integer-gmp ... linking ... done. 
Loading package base ... linking ... done. 
Prelude> putStr "abc3\n" 
abc3 
Prelude> import Text.Printf 
Prelude Text.Printf> printf "abc%d\n" 3 
abc3 
Prelude Text.Printf> let main = putStr (printf "abc%d\n" 3) 
Prelude Text.Printf> main 
abc3 
Prelude Text.Printf> let main = printf "abc%d\n" 3 :: String 
Prelude Text.Printf> main 
"abc3\n" 
Prelude Text.Printf> :quit 
Leaving GHCi. 

가 script의 올바른 동작이다 모호한 ... 일반적인 사용자 친화적 인 하스켈 오류 :

$ cat runmain-bad 
#!/usr/bin/env runghc 
import Text.Printf 
main = putStr (printf "abc%d\n" 3) 
$ ./runmain-bad 

runmain-bad:3:16: 
    No instance for (PrintfArg a0) arising from a use of `printf' 
    The type variable `a0' is ambiguous 
    Possible fix: add a type signature that fixes these type variable(s) 
    Note: there are several potential instances: 
     instance [safe] PrintfArg Char -- Defined in `Text.Printf' 
     instance [safe] PrintfArg Double -- Defined in `Text.Printf' 
     instance [safe] PrintfArg Float -- Defined in `Text.Printf' 
     ...plus 12 others 
    In the first argument of `putStr', namely `(printf "abc%d" 3)' 
    In the expression: putStr (printf "abc%d" 3) 
    In an equation for `main': main = putStr (printf "abc%d" 3) 

runmain-bad:3:33: 
    No instance for (Num a0) arising from the literal `3' 
    The type variable `a0' is ambiguous 
    Possible fix: add a type signature that fixes these type variable(s) 
    Note: there are several potential instances: 
     instance Num Double -- Defined in `GHC.Float' 
     instance Num Float -- Defined in `GHC.Float' 
     instance Integral a => Num (GHC.Real.Ratio a) 
     -- Defined in `GHC.Real' 
     ...plus 11 others 
    In the second argument of `printf', namely `3' 
    In the first argument of `putStr', namely `(printf "abc%d" 3)' 
    In the expression: putStr (printf "abc%d" 3) 

Answer 1

GHCi는 기본적으로 완화 된 기본 규칙 (문자 그대로 이 기본값 인 Integer)을 사용하기 때문에 일상 생활을 쉽게 할 수 있습니다.

ExtendedDefaultRules을 사용하면 GHC에서 비슷한 효과를 얻을 수 있습니다.

자세한 내용은 GCHi docs을 참조하십시오.