haskell - 为什么编译器不解析函数内的隐式约束类型变量？

Question

这是代码：

class Problem p where
    readProblem :: String -> p
    solveProblem :: p -> String

readAndSolve = solveProblem . readProblem

这是 GHC 产生的错误消息：

Ambiguous type variable `b0' in the constraint:
  (Problem b0) arising from a use of `readProblem'
Probable fix: add a type signature that fixes these type variable(s)
In the second argument of `(.)', namely `readProblem'
In the expression: solveProblem . readProblem
In an equation for `readAndSolve':
    readAndSolve = solveProblem . readProblem

据我了解，我必须以某种方式告诉编译器andProblem使用的实例是同一类型，但我看不出有什么方法可以声明它。为什么它不能自己弄清楚呢？solveProblemreadProblem

Answer 1

你不需要告诉编译器它必须是相同的类型，编译器会自己计算出来。但是，它无法确定使用哪种类型。该问题的典型著名示例是

foo = show . read

如果foo有一个合法的类型，那将是

foo :: (Read a, Show a) => String -> String

现在，编译器如何确定一个？

你readAndSolve会有那种类型

readAndSolve :: Problem p => String -> String