*** Exception：Prelude.read：Haskellで構文解析をしない - 構文解析、式および再帰

Question

このコード部分は、2つ以上の数値（主な関数が省略されている）を読み込み、合計を与えるために "+"を読み込む必要があります。私は後で私は乗算とそのような他の操作を行うので、競合が使用されます。

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) 

（第2）の誤差が

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

*** Exception: Prelude.read: no parse 

を処理することができませんでしparse関数である私は、このソリューションのためにData.Ratioページ上やウェブ上で見てきましたが、それを発見していませんいくつかの助けに感謝します。型シグネチャごとに、aとb既にExpression Sであるためおかげで、

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) 

であるべきです。

または、第二及び第三の方程式に沿って、

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

にタイプを変更し、そこにコードを固定する

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

2つの方法（第一の方程式を変更しますより問題の多い部分でした）：

-- 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コンストラクタ経由RationalExpressionへの転換を残し、それ以外は大丈夫です。第2の式は、しかし、問題の異なるタイプを含む：

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

answerがExpression又はRationalのいずれかである場合、show answerはFloatとして解析することができないので、によって例示されるようなことは、ランタイムエラーにつながりますあなたの編集：

（第2）の誤差は、解析機能を

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

を処理することができません

第2式が使用される時点で、readがFloatとして解析できるStringされていない、スタック上の最初の要素（answer）はNumber (3 % 1)であり、そしてshow (Number (3 % 1))は"Number (3 % 1)"あります。