あいまいなタイプの変数 `P0' を

Question

私は以下のコードからエラー

Ambiguous type variable `p0' in the constraints: 
     (Show p0) arising from a use of `print' at cwqr_0003.hs:31:6-10 
     (Ord p0) arising from a use of `PSQ.lookup' 

を取得します。

これを分析する方法はわかりません。これはGHCやモジュールの1つに問題がありますか？ putStrの代わりにprintを試してみると、予想されるタイプに関連するエラーがp0ではなくむしろ文字列になります。私はfromMaybeをしようとすると、それは私にエラーメッセージが実際にそれを言って正確に何を意味

import qualified Data.PSQueue as PSQ 
import Data.Maybe 
import Data.Label 
import Control.Category 
import Prelude hiding ((.)) 

--some tested code omitted here 

let r = PSQ.lookup test' q 
--putStr (show (r :: String)) 
print (r) 

Answer 1

fromMaybeするデフォルト値Iがお送りliteral zeroに関連するエラーを与える：あなたがあいまいなタイプを持っています。それはどうですか？通常、多態性の結果を生成するものがあるため、中間結果の型が不明であるように、その結​​果に多相引数をとる関数を適用します。

単純な多型では、あいまいさは問題ではありません。何かのリストを作成して長さを取ると、リスト要素のタイプが何であるかを知る必要はありません。

Showなどのタイプクラスを使用することがあいまいな場合 - printの場合 - GHCはどのインスタンスを選択するかわからないため、GHCがスタックされています。

多態性を保持する代わりに単一の型を強制的に選択するように、特定の定義を強制的に単相性にする必要がある場合があります（特に指定しない限り）。私はそれがあなたの問題かもしれないと思うが、私はあなたが削除した文脈なしでは伝えることができない。後者は、次の定義説明するために

：なしタイプの署名で...

foo = print 

を、このようなエラーが発生します。

Test.hs:12:7: 
    Ambiguous type variable `a0' in the constraint: 
     (Show a0) arising from a use of `print' 
    Possible cause: the monomorphism restriction applied to the following: 
     foo :: a0 -> IO() (bound at Test.hs:12:1) 
    Probable fix: give these definition(s) an explicit type signature 
        or use -XNoMonomorphismRestriction 
    In the expression: print 
    In an equation for `foo': foo = print