ハスケルで空のリストを印刷

Question

これはhaskellコードです。私はなぜ私が下に間違っているのか分かっています。

main = do 
    print [1] -- Okay 
    print [] -- error 

エラー文字列は次のとおりです。

P07.hs:38:11: error: ? Ambiguous type variable ‘t0’ arising from a use of ‘print’ prevents the constraint ‘(Show t0)’ from being solved. Probable fix: use a type annotation to specify what ‘t0’ should be. These potential instances exist: instance Show Ordering -- Defined in ‘GHC.Show’ instance Show Integer -- Defined in ‘GHC.Show’ instance Show a => Show (Maybe a) -- Defined in ‘GHC.Show’ ...plus 22 others ...plus five instances involving out-of-scope types (use -fprint-potential-instances to see them all) ? In a stmt of a 'do' block: print [] In the expression: do { print [] } In an equation for ‘main’: main = do { print [] }

私は[] :: Showを試してみました。私はエラーが何を意味するのか分からないと思います。私を助けてください。おかげさまで

Answer 1

ハスケルのリストは、その要素の型が多態的です。例えば、[]には、型の注釈を明示的に与えることによって、ghcに十分な情報を与えなければなりません。[] :: [Int]

リストのShowインスタンスが要素のShowインスタンスに依存し、ghcがistにそのようなインスタンスが存在しないと判断できないことが原因でエラーが発生しています。

今、あなたはすべてがStringに変換することができると思うかもしれませんが、あなたはInt -> Int考えるとHaskellの関数にはデフォルトShowインスタンスを持っていないと動作しません

​​

を試みることができます。