为什么我不能到处使用undefined？
我以为我总是可以放在undefined我还不知道该放什么的同一个地方，并且代码应该可以很好地编译，只有在undefined实际评估时才会在运行时发生错误。
然而，就在这样做时，我开始写一些类似的东西
f = foldl undefined undefined undefined
在文件中，当我尝试加载文件时，GHCi 出现此错误
source.hs:3:7: error:
• Ambiguous type variable ‘t0’ arising from a use of ‘foldl’
prevents the constraint ‘(Foldable t0)’ from being solved.
Probable fix: use a type annotation to specify what ‘t0’ should be.
These potential instances exist:
instance Foldable (Either a) -- Defined in ‘Data.Foldable’
instance Foldable Maybe -- Defined in ‘Data.Foldable’
instance Foldable ((,) a) -- Defined in ‘Data.Foldable’
...plus one other
...plus 29 instances involving out-of-scope types
(use -fprint-potential-instances to see them all)
• In the expression: foldl undefined undefined undefined
In an equation for ‘f’: f = foldl undefined undefined undefined
|
3 | f = foldl undefined undefined undefined
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
我将其解释为“undefined此处不进行类型检查”。
什么是这种行为背后的理性，什么是我在那里地方不能用undefined作为临时占位？
回答
该解释不知道是什么类型f的foldl :: Foldable f => (a -> b -> a) -> a -> f b -> a在使用，因此错误。这很重要，因为f这里决定了foldl它将使用什么实现。实际上，对于 af ~ Maybe的实现可能与对于 an 不同f ~ []，因此根据 for 的类型f，使用不同foldl的。
如果我们指定类型，例如使用[Int], or Maybe Char，这会起作用（它会引发错误，但这是因为undefined当然不会正确评估）：
Prelude> foldl undefined undefined (undefined :: Maybe Char)
*** Exception: Prelude.undefined
CallStack (from HasCallStack):
error, called at libraries/base/GHC/Err.hs:78:14 in base:GHC.Err
undefined, called at <interactive>:1:6 in interactive:Ghci1
Prelude> foldl undefined undefined (undefined :: [Int])
*** Exception: Prelude.undefined
CallStack (from HasCallStack):
error, called at libraries/base/GHC/Err.hs:78:14 in base:GHC.Err
undefined, called at <interactive>:2:6 in interactive:Ghci1
对于某些类型类，如Num，有类型默认[Wkang's Haskell; 博客]。这使用：
default Num Integer default Real Integer default Enum Integer default Integral Integer default Fractional Double default RealFrac Double default Floating Double default RealFloat Double