Question

我有一个问题，仍然在家谱树上工作，这是我到目前为止所做的事情（对不起葡萄牙语单词xD）：

data Familia = Node String [Familia]

instance Show Familia where
  show (Node a b) = show a ++ "\n\t" ++ show b
raiz :: String -> Familia
raiz n = (Node n [])

juntar :: String -> String -> Familia -> Familia
juntar a b (Node c l) 
        | b == c = (Node c (l ++ [raiz a]))
        | otherwise = (Node c (juntarAux a b l))

juntarAux :: String -> String -> [Familia] -> [Familia]
juntarAux a b [] = []
juntarAux a b [(Node x l)]
        | x == b = [(juntar a b (Node x l))]
        | otherwise = [(Node x (juntarAux a b l))]
juntarAux a b ((Node x l):xs)
        | x == b = (juntar a b (Node x l)):xs
        | otherwise = (Node x l):(juntarAux a b xs)

这是我想要的方式，事情是，这是我目前的输出：

*Main> let f = raiz "Bob"
*Main> let g = juntar "John" "Bob" f
*Main> g
"Bob"
    ["John"
    []]

我想要的是，像这样打印：

Bob
    John
         Ruth
    Hank

所以，家庭的根是鲍勃，鲍勃的儿子是约翰和汉克，约翰有一个女儿叫露丝。

我已经尝试过几种方式，我在其他帖子中看到的东西，但这是最新的尝试：

instance Show Familia where
  show (Node a b) = show a ++ "\n\t" ++ (unlines $ map (unwords . map show) b)

这给了我以下错误：

t4.hs:14:77:
Couldn't match type ‘Familia’ with ‘[a0]’
Expected type: [[a0]]
  Actual type: [Familia]
In the second argument of ‘map’, namely ‘b’
In the second argument of ‘($)’, namely
  ‘map (unwords . map show) b’

有什么想法吗？提前致谢！：d

Answer 1

表达式map show是一个期望类型为[a]的参数的函数 - 因为map采用函数和列表。

因此，表达式(unwords . map show) 也是一个期望类型为[a]的参数的函数。

因此，表达式map (unwords . map show)是一个期望类型为[[a]]的参数的函数 - 它需要一个列表，其中每个元素也是一个列表，因为它必须是函数的可接受参数(unwords . map show)。

因此，在表达式map (unwords . map show) b中，对于某些b，最后一个参数[[a]]必须是a类型。

但是从模式Node a b开始，b属于[Familia]类型 - 与[[a]]不兼容。这是编译器在错误消息中告诉您的内容。

当你发现自己与嵌套函数的类型混淆时，通常最好将它们分开，给每个部分命名（也许是一种类型）。这样你就可以看到错误的位置。

instance Show Familia where
   show (Node a b) = show a ++ "\n\t" ++ concatSubFamilias 
      where
         showSubFamilias :: [String]
         showSubFamilias = map show b

         concatSubFamilias :: String
         concatSubFamilias = unlines showSubFamilias

请注意，上述解决方案不会为您提供您所追求的结果，因为它不会在嵌套Familia之前插入缩进。我把它作为读者的练习。

Haskell自定义显示实例

1 个答案: