Haskell - Тип ошибки в применении: Тип не соответствует

Question

Я получаю ошибку соответствия:

Expression : parseExpr (append p e) es

Term : parseExpr

Type : Expr -> String

Does not match : a -> b -> c

когда я пытаюсь выполнения этого кода в отмеченной линии:

data Expr = Atom String | Var String | Pred String [Expr] | Expr String 

append :: String -> String -> String 
append a b = a++b 

parseExpr :: Expr -> String 
parseExpr (Atom a) = a 
parseExpr (Var x) = x 
parseExpr (Pred p (e:es)) = parseExpr (append p e) es -- ERROR HERE 

Хотя е всегда будет String из определения объекта Expr, о котором я говорил выше. Есть ли способ заявить об этом?

Answer 1

Возможно, ваша путаница здесь:

data Expr = ... | Expr String 

Это не означает, что каждый Expr может быть преобразован в строку. Это просто означает, что существует функция, называемая Expr, которая принимает String и возвращает Expr (тип).

Очевидный способ определения parseExpr для Pred случае называть parseExpr по элементам Expr списка, например .:

parseExpr (Pred p exprs) = 
    let strs = map parseExpr exprs -- this is a [String] 
     s = concat strs   -- this is a String 
    in p ++ s 

Может быть, вы хотите s = intercalate " " strs объединиться строки с пробелами? Конкретный пример был бы полезен.