旅行に行ったので間があいてしまった。 数式 相変わらずdo記法を使わずにオレオレbindとオレオレreturnで書いてみる。 expr :: Parser Int expr = term >>- \t -> (symbol "+" >>- \d -> expr >>- \e -> return' (t + e)) +++ return' t term :: Parser Int …