Question

我想要做的是将我已经创建的函数调用到输入输出main中。函数im调用是一个高阶函数，如下所示：

filmsByFan' f = map title $ filter (elem f . fans) testDatabase

每当我尝试调用这个更高阶函数时，这就是吐出错误消息的代码部分：

getInt :: IO Int
getInt = do str <- getLine
            return (read str :: Int)

main :: IO ()
main = do putStrLn "Enter 1. Add Film / 2. Display all Films / 3. Display film by Year / 4. Display film by fan / 5. Display film by actor and period / 6. Become Fan: "
          str <- getLine
          if str == "1"
            then do return ()
                else if str == "2"
            then do putStrLn (displayAllFilms' testDatabase "")
                else if str == "3"
                    then do putStrLn "Enter a film year: "
                        filmyear <- getInt
                        putStrLn (filmsByYear' filmyear)  <<< **ERROR HERE** (154:47)
                 else main

其余代码直到这里工作完美，即如果用户输入'2'，它将运行displayAllFilms函数（注意displayAllFilms函数不是更高阶函数）

是因为该函数是'高阶'，因此会出现此错误吗？

Coursework v1.hs:154:47:
    Couldn't match expected type `Char' with actual type `[Char]'
    Expected type: String
      Actual type: [Title]
    In the return type of a call of `filmsByYear''
    In the first argument of `putStrLn', namely
      `(filmsByYear' filmyear)'

任何帮助将不胜感激！提前谢谢！

Answer 1

Expected type: String

这意味着在程序的这一点上，ghc期望找到类型String的表达式（因为putStrLn的第一个参数必须是String）。

  Actual type: [Title]

这意味着此处实际找到的表达式ghc (filmsByYear' filmyear)的类型为[Title]（因为filmsByYear'给出的结果是[Title]）。

如果预期类型和实际类型相同，则不会出现错误。

大概你有type Title = String，所以它试图将String与[String]统一失败。（而且因为type String = [Char]，它会尝试将[Char]与[[Char]]统一起来......但仍然失败。）

解决此问题的可能方法：

将[String]变为String，例如使用unlines
```
putStrLn (unlines (filmsByYear' filmyear))
```
您可能更喜欢使用Data.List中的intercalate，具体取决于您希望列表格式化的方式。
依次使用mapM_
依次对列表中的每个字符串调用putStrLn
```
mapM_ putStrLn (filmsByYear' filmyear)
```

n.b。 putStrLn和filmsByYear'都不是高阶函数。

Haskell无法匹配预期类型的char？

1 个答案:

Haskell无法匹配预期类型的​​char？

1 个答案:

Haskell无法匹配预期类型的char？