四則演算のパーサを作る際に、テストファーストにするとよいはずです。という事で、テストだけ先に書きます。 (* $ ocamlc -pp camlp4o calc.ml *) open Format type token = | Number of float | Op of char type e = | Num of float | Bin of e * string *…