Re: [Caml-list] ANN: angstrom

[Anil Madhavapeddy <anil@recoil.org>]

On 22 Jul 2016, at 14:35, Spiros Eliopoulos <seliopou@gmail.com> wrote:
> 
> Hey List,
> 
> It is with great pleasure that I announce the initial release of angstrom, a parser-combinator library that I have been developing over the past several months:
> 
>   https://github.com/inhabitedtype/angstrom
>   http://opam.ocaml.org/packages/angstrom
> 
> Angstrom exposes monadic and applicative interfaces for composition, and supports incremental input through buffered and unbuffered interfaces. Both interfaces give the user total control over the blocking behavior of their application, with the unbuffered interface enabling zero-copy IO. Parsers are backtracking by default and support unbounded lookahead.
> 
> Whereas many OCaml parser combinator libraries claim heritage from the Parsec[0] Haskell library, angstrom instead follows the design and semantics of attoparsec[1], hence the name[2]. For a high-level comparison of Angstrom's features to other parser-combinator libraries, see the table included in the README:
> 
>   https://github.com/inhabitedtype/angstrom#comparison-to-other-libraries

I just wanted to thank Spiros for a great recent OCaml Workshop 2016 talk on his work on the webstack and point to his talk:
https://www.youtube.com/watch?v=tTqqu4xh4UY&list=PLnqUlCo055hVHS08n-Po_T4K2eNNahkg9&index=13
(livenotes as it happened: http://icfp2016.mirage.io/OCaml/improving-the-ocaml-webstack-.md )

And also one by Romaine on using Angstrom in his Mr MIME email parsing library:
https://www.youtube.com/watch?v=kQkRsNEo25k&index=12&list=PLnqUlCo055hVHS08n-Po_T4K2eNNahkg9
(livenotes: http://icfp2016.mirage.io/OCaml/whos-got-your-mail-mr-mime.md )

I've (along with the rest of the MirageOS team) have started discussing the integration of Angstrom (and its companion serialisation library Faraday) into the Cohttp stack to simplify its parsing and reduce our dependency on allocation-heavy patterns such as regular expressions, and expect to make progress on this in the next few months (as well as try out Angstrom on low-level libraries such as Mirage TCP/IP and DNS)

If you are interested, please get in touch with me and I can redirect you to the appropriate issue repository for your desired features for those protocol libraries.

regards,
Anil