Functional parser of markdown language based on monad combining and monoidal source stream representation

Abstract

The main goal of this work is to develop flexible and expressive methods of parsers construction based on modern techniques of structuring of effectful computations. We compare two approaches to describing effectful computations: monad transformers and extensible effects in respect to construction of parser combinator libraries. We develop two parser combinator libraries: one based on monad transformers and another on top of extensible effects, and Markdown-to-HTML translator with blocks based on first library.