功能期望char代替[char]

Question

我是Haskell和功能编程的新手，无法理解为什么此功能无法识别正确的类型：

mformat :: [Char] -> [Char] -> [Char]
mformat first last = ((formatted first last) ++ " " ++ first ++ " " ++ last ++ ".")
    where formatted (f:_) (l:_) = (f ++ "." ++ l ++ ".")

这会导致错误：

teststuff.hs:42:40: error:
    * Couldn't match type `Char' with `[Char]'
      Expected: [[Char]]
        Actual: [Char]
    * In the second argument of `formatted', namely `last'
      In the first argument of `(++)', namely `(formatted first last)'
      In the expression:
        (formatted first last) ++ " " ++ first ++ " " ++ last ++ "."
   |
42 | mformat first last = ((formatted first last) ++ " " ++ first ++ " " ++ last ++ ".")
   |                                        ^^^^
Failed, no modules loaded.

我不明白这里有什么问题，任何帮助都将不胜感激。

Answer 1

问题在您的格式函数中。您是在字符串上匹配的模式，您获得char s（f＆amp; l），然后尝试尝试将它们与字符串串联。您不能将char与字符串（[char]）相连。

mformat :: String -> String -> String
mformat first last = ((formatted first last) ++ " " ++ first ++ " " ++ last ++ ".")
    where
      formatted :: String -> String -> String 
      formatted (f:_) (l:_) = ([f] ++ "." ++ [l] ++ ".")

或

-- ...
      formatted (f:_) (l:_) = (f : "." ++ l : ".")

类型的检查器认为，在您的情况下，f和l必须是列表 - 因为您正在尝试将它们串联。然后，它从列表构造函数中输入（通过模式匹配），first和最后是strings ie ie [string]的列表/code>或[[char]]。