Haskell 数据类型语法与操作，第二部分

Question

返回数据类型。 例如，假设我创建了一个数据类型：

data Something = Something Int [Char]

然后我使用以下函数进行了一些操作（其确切函数无关紧要）：

manipulativeFunc::Something->[Something]

我不断收到这些奇怪的错误消息，

Top level:
    No instance for (Show (Int -> IO ()))
        arising from use of 'print' at Top level
    Probable fix: add an instance declaration for (Show (Int -> IO ()))
    In a 'do' expression: print it

请注意，我没有任何用途我的程序中的任何地方都没有打印，我也没有使用 IO。数据声明和manipulativeFunc就是我所拥有的全部内容。

我可能做错了什么？

编辑：从评论者那里，我收到消息说我可能需要为此任务声明一个 Show 实例。那么，如果我有

data Something = Something Int Int

那么我将如何为其编写一个 Show 实例函数呢？

Answer 1

为了使用函数 print，编译器需要能够将值转换为 String，这是由 Show 类保证的。您尝试显示一个函数，但没有为其定义 Show 实例。

为了能够显示您的 Something，使用

data Something = Something Int [Char] deriving Show

manipulativeFunc 不能以这种方式显示，但如果您使用参数调用它，则会显示其结果。

Answer 2

每次在 ghci 中计算表达式时，ghci 都会打印该表达式的结果。如果表达式具有无法打印的类型，您将收到上述错误消息。

所以问题是您输入了 Int -> 类型的表达式。 IO ()，ghci 无法打印它，因为它是一个函数。

Answer 3

您可以使用默认的 Show 实例：

data Something = Something Int Int deriving Show

或者您可以定义自己的实例：

instance Show Something where
    show (Something a b) = "<" ++ show a ++ " " ++ show b ++ ">"

但是您的问题与没有 Show 实例的 Something 无关。

请澄清您是否使用 ghc、runhaskell 还是 ghci，并尝试提供完整的最小示例。以下代码有效：

module Aaa where

data Something = Something Int Int

manipulativeFunc::Something->[Something]
manipulativeFunc x = [x]