第一回:ごりごり編 第二回:Stateモナド編 第三回:パーサコンビネータ編←いまここ 最終回:Operationalモナド編 パーサコンビネータとは 以下の記事がパーサコンビネータの仕組みをわかりやすく解説してくれています。 Haskell 構文解析 超入門 BF型のパーサを作る 文字列をBF型に変換するパーサをつくります。 data BF = Inc | Dec | Next | Prev | PutC | GetC | Loop [BF] deriving Show bf :: Stream s Identity Char => Parsec s u BF bf = choice [ Inc <$ char '+', Dec <$ char '-', Next <$ char '>', Prev <$ char '<', PutC <$ char '.', GetC <$ char