Haskell 类型不匹配

Question

我想创建一个函数，它接受一个字符串“path”，这是一个只有一行的文件的路径，我想取这一行并检查它是否是一个正确的表达式，是否要构建一个从这个字符串中取出树，这是代码 `

loadExpression :: String -> Tree Char
loadExpression path = do
 contents <- readFile path
 if checkIfProper $ filter (/=' ') contents
    then buildTreeFromString contents
    else EmptyTree  

`

但它给了我错误 "Couldn't match type IO' withTree'" 。我知道 IO 字符串与普通字符串不同，但 <- 不应该这样做吗？将 IO 字符串转换为普通字符串。如果我用"(1+2)*3" 之类的字符串调用buildTreeFromString，它可以正常工作，checkIfProper 也是如此。

整个错误是：

Couldn't match type `IO' with `Tree'
Expected type: Tree String
  Actual type: IO String
In the return type of a call of `readFile'
In a stmt of a 'do' block: contents <- readFile path

Answer 1

readFile 的类型为FilePath -> IO String，因此您的do 块位于IO monad 中。因此，您的整个函数返回 IO (Tree Char)，而不是 Tree Char，因此您需要更改类型签名。

编辑：您可以通过创建一个从输入字符串加载树的函数来分离函数的有效部分和纯部分。然后，您可以将 readFile 中的字符串传递给此函数：

readTree :: String -> Tree Char
readTree contents =
 if checkIfProper $ filter (/=' ') contents
    then buildTreeFromString contents
    else EmptyTree

loadExpression 然后变成：

loadExpression :: FilePath -> IO (Tree Char)
loadExpression path = do
  contents <- readFile path
  return (readTree contents)

或者你可以使用fmap:

loadExpression = fmap readTree readFile