没有(显示([(Char，Char)] -> Char)的实例)

Question

所以我必须做一个函数，找到第一个字母的对，然后返回第二个字母。

我实际上找到了一个答案，但是使用map函数，我无法得到它。

      lookUp :: Char -> [(Char, Char)] -> Char
      lookUp x [] = x
      lookUp x ( ( st,nd ): rst) | st == x = nd
                   | otherwise = lookUp x rst

我得到了这样的信息：

No instance for (Show ([(Char, Char)] -> Char))
arising from a use of `print'
 Possible fix:
  add an instance declaration for (Show ([(Char, Char
  In a stmt of an interactive GHCi command: print it

Answer 1

您的代码很好，您只需要在ghci提示符下提供所有参数，例如

lookUp 'c' [('b','n'), ('c','q')]

应该给你一个“Q”。

它抱怨说它不能显示一个函数。每当它说它没有包含->的内容的Show实例时，它都会抱怨无法显示函数。它只能显示对某些数据使用该函数的结果。

当你给它一些数据，但不是所有的数据时，Haskell将其解释为一个接受下一个参数的新函数，所以

lookUp 'c'

是一个函数，它接受成对字符的列表，并为您提供一个字符。这就是它想要展示的，但不能。

顺便说一下，几乎每次你得到一个"No instance for...“错误，这是因为你做了一些错误的参数-遗漏了一些，把它们放在错误的顺序。编译器试图通过建议您添加一个实例来提供帮助，但您可能只需要检查是否以正确的顺序提供了参数的写入类型。

祝你学习Haskell愉快！

Answer 2

您似乎在ghci中键入了类似于以下内容的内容：

*Main> lookUp 'c'

像lookUp 'c'这样的表达式是lookUp函数的部分求值/引用形式。其类型为：

*Main> :t lookUp 'c'
lookUp 'c' :: [(Char, Char)] -> Char

这正是ghci所说的没有Show实例的类型。

要测试您的功能，请确保同时提供x和Char对列表：

*Main> lookUp 'c' [ ('a','A'), ('b','B'), ('c','C') ]
'C'