2011-05-14から1日間の記事一覧

第8章 関数型パーサー #2

連結 今度はバインド演算子 (>>=)が出てきた。 教科書では、この演算子は「そして」と読めばいいと書いてある。教科書の付録Bには、この演算子の意味は“順序付け”だとある。その真意は後から分かってくる。 (>>-) :: Parser a -> (a -> Parser b) -> Parser …