Question

我有两个类型类

class Concatable a where
  empty :: a
  (<+>) :: a -> a -> a

class Concatable b => Output a b where
  out :: a -> b

以及以下功能

nl :: (Output a AnsiDark) => [a] -> AnsiDark
nl a = foldr addNl empty a
  where
    addNl :: a -> AnsiDark -> AnsiDark
    addNl ast org = doAddIf ast <+> org
    doAddIf :: a -> AnsiDark
    doAddIf ast = if out ast == sDedent
                      then out ast
                      else out ast <+> sNewline

（{AnsiDark实现Concatable，sDedent是类型AnsiDark的常量）

以及启用的以下语言扩展（可能甚至与问题无关，对于这些与复杂类型有关的问题，我还是很陌生）

{-# LANGUAGE TypeApplications #-}
{-# LANGUAGE AllowAmbiguousTypes #-}
{-# LANGUAGE MultiParamTypeClasses #-}
{-# LANGUAGE FlexibleContexts #-}
{-# LANGUAGE FlexibleInstances #-}

，我收到以下错误：

../src-hs/ANSITerm.hs:65:22: error:
    • Could not deduce (Output a1 AnsiDark) arising from a use of ‘out’
      from the context: Output a AnsiDark
        bound by the type signature for:
                   nl :: forall a. Output a AnsiDark => [a] -> AnsiDark
        at ../src-hs/ANSITerm.hs:59:1-44
    • In the first argument of ‘(==)’, namely ‘out ast’
      In the expression: out ast == sDedent
      In the expression:
        if out ast == sDedent then out ast else out ast <+> sNewline

我不太明白为什么haskell无法推论a ...我本来会像这样用out使用类型注释

out @a @AnsiDark

但是类型注释似乎不适用于类型变量。所以...我的问题到底在哪里？那我该怎么解决呢？

Answer 1

nl :: (Output a AnsiDark) => [a] -> AnsiDark
...
    where
    doAddIf :: a -> AnsiDark
    ...

出现在这两行上的a是不相同。就像您写过一样：

nl :: (Output x AnsiDark) => [x] -> AnsiDark
...
    where
    doAddIf :: y -> AnsiDark
    ...

由于您在out中使用doAddif，因此需要在其签名中添加Output约束（我相信如果删除签名，它将起作用，因为正确的签名将是推断）。

您可能还对ScopedTypeVariables扩展名感兴趣。启用此功能后，如果您写

nl :: forall a. (Output a AnsiDark) => [a] -> AnsiDark

然后，您可以在a子句的签名以及您尝试过的where之类的类型应用程序中引用 that out @a @AnsiDark。

为什么Haskell不能推论这个多参数类型类？

1 个答案: