kind of got it now

[juan_gandhi]

Until I was told to take a look at coalgebras, and figured out that input deals with codata, and output deals with data, and that StringReader consists of mapping an algebra to a coalgebra, over the same affine functor, X -> AX + 1, I could not figure out how to properly connect my binary files with parser combinators... and the whole functioning of parser combinators in general.

The main point is that parser combinators work not on data, but on codata. So there.

Comments

[antilamer.livejournal.com]

Have you considered iteratees?

[thedeemon.livejournal.com]

When you're saying it is codata, are you really saying anything more than "it's an abstract data type"?