Felipe S. S. Schneider
Felipe S. S. Schneider
- [Generalising monads to arrows](https://doi.org/10.1016/S0167-6423(99)00023-4) - [Programming with Arrows](http://www.cse.chalmers.se/~rjmh/afp-arrows.pdf) - [`functional-arrow`](https://hackage.haskell.org/package/functional-arrow) Related to parameter orderings too (see #7). EDIT: [Control.Arrow](https://hackage.haskell.org/package/base-4.15.0.0/docs/Control-Arrow.html#g:1).
## [Functor](https://hackage.haskell.org/package/base-4.15.0.0/docs/Prelude.html#t:Functor) stuff: - [ ] `fmap` / `` (equivalent) - [ ] ` f a ( b -> c) -> f a -> f b -> f c liftA2...
Applicative parsing profits heavily from currying in general. It's nice to support that, but it might not be prevalent in Nim. As an alternative, we could lift together with `varargs`...
We should probably use [`openFileStream`](https://nim-lang.org/docs/streams.html#openFileStream%2Cstring%2CFileMode%2Cint).
In particular, we should review and test when expected items are zero (should `assert` that never happens), one, two, and three or more things long. Those lists in errors should...
Test, compare and write in the README.md how our implementation is different from Parsec's, Megaparsec's, and Attoparsec's concerning alternative backtracking (i.e., when using ``). AFAIU, our implementation is closer to...
(Some) parsers to review: - [ ] `between` - [ ] `>>` - [ ] `` In particular, we should review the "expected" message. That is the set of tokens...