***例外：Prelude.read：Haskell中不解析 - 解析，表达式和递归

Question

这部分代码应该读取两个或更多数字（省略主io函数），然后用“+”来给出总和。理性被使用，因为后来我会做乘法和其他操作。

data Expression = Number Rational 
       | Add (Expression)(Expression) 
       deriving(Show,Eq) 

solve :: Expression -> Expression 
solve (Add (Number x) (Number y)) = Number (x + y) 

parse :: [String] -> [Expression] -> Double 
parse ("+":s)(a:b:xs) = parse s (solve (Add a b):xs) 
parse [] (answer:xs) = fromRational (toRational (read (show answer)::Float)) 
parse (x:xs) (y) = parse (xs) ((Number (toRational (read x::Float))):y) 

（第二）错误是用解析功能无法处理

*Main> parse ["1","2","+"] [Number 3] 

*** Exception: Prelude.read: no parse 

我已经看过了Data.Ratio页面和网页此解决方案上，但还没有找到它，会感谢一些帮助。谢谢，

CSJC

Answer 1

第一个方程，

parse ("+":s)(a:b:xs) = parse (s)((solve (Add (Number a) (Number b))):xs) 

应该

parse ("+":s)(a:b:xs) = parse (s)((solve (Add a b)):xs) 

，因为每个类型签名，a和b已经是Expression秒。

或者，在与第二和第三方程线，所述类型更改为

parse :: [String] -> [Rational] -> Double 

和第一方程改变为固定代码的

parse ("+":s)(a:b:xs) = parse s ((a + b):xs) 

两种可能的方法（有是更有问题的部分）：

-- Complete solve to handle all cases 
solve :: Expression -> Expression 
solve expr@(Number _) = expr 
solve (Add (Number x) (Number y)) = Number (x + y) 
solve (Add x y) = solve (Add (solve x) (solve y)) 

-- Convert an Expression to Double 
toDouble :: Expression -> Double 
toDouble (Number x) = fromRational x 
toDouble e = toDouble (solve e) 

-- parse using a stack of `Expression`s 
parse :: [String] -> [Expression] -> Double 
parse ("+":s) (a:b:xs) = parse s ((solve (Add a b)):xs) 
parse [] (answer:_) = toDouble answer 
parse (x:xs) ys = parse xs (Number (toRational (read x :: Double)) : ys) 
parse _ _ = 0 

-- parse using a stack of `Rational`s 
parseR :: [String] -> [Rational] -> Double 
parseR ("+":s) (a:b:xs) = parseR s (a+b : xs) 
parseR [] (answer:xs) = fromRational answer 
parseR (x:xs) y = parseR xs ((toRational (read x::Double)):y) 
parseR _ _ = 0 

后者比较谨慎，因为最终生成了Double，所以使用Rational作为堆栈没有真正的意义。

在您的parse代码，第三个方程省去了通过Number构造一个Rational到Expression的转换，但在其他方面正常。第二个公式，但是，含有不同类型的问题：

parse [] (answer:xs) = fromRational (toRational (read (show answer)::Float)) 

如果answer或者是一个Expression或Rational，show answer不能被解析为一个Float，这样将导致一个运行时间错误，通过所例示您编辑：

（第二）错误是用解析功能无法处理

*Main> parse ["1","2","+"] [Number 3] 
*** Exception: Prelude.read: no parse 

在其中使用所述第二方程点，堆叠在所述第一元件（answer）是Number (3 % 1)，和show (Number (3 % 1))是"Number (3 % 1)"，其不是String该read可以作为一个Float解析。