30 Jan
2013
30 Jan
'13
5:51 p.m.
On 30 January 2013 12:38, Ertugrul Söylemez
A monadic parser /is/ a combinator parser. The code you linked just doesn't go as far as wrapping it up with a newtype and providing a monad instance.
Further, (+>) in the linked example is monadic bind and `result` is `return`. The code looks more succinct than early Parser combinator libraries (like Hutton / Meijer) because it defines quite a few more combinators. Equivalents are available if you use say Parsec plus the usual applicative combinators.