From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@sympa.inria.fr Delivered-To: caml-list@sympa.inria.fr Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id 57F8580035 for ; Thu, 13 Oct 2016 14:42:28 +0200 (CEST) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=anil@recoil.org; spf=None smtp.mailfrom=anil@recoil.org; spf=None smtp.helo=postmaster@bark.recoil.org Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of anil@recoil.org) identity=pra; client-ip=5.153.225.51; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="anil@recoil.org"; x-sender="anil@recoil.org"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of anil@recoil.org) identity=mailfrom; client-ip=5.153.225.51; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="anil@recoil.org"; x-sender="anil@recoil.org"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@bark.recoil.org) identity=helo; client-ip=5.153.225.51; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="anil@recoil.org"; x-sender="postmaster@bark.recoil.org"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3AUa5RnREH8ETI4pGi1JWjnZ1GYnF86YWxBRYc798d?= =?us-ascii?q?s5kLTJ75oM+wAkXT6L1XgUPTWs2DsrQf2rCQ7/yrBDZIyK3CmUhKSIZLWR4BhJ?= =?us-ascii?q?detC0bK+nBN3fGKuX3ZTcxBsVIWQwt1Xi6NU9IBJS2PAWK8TWM5DIfUi/yKRBy?= =?us-ascii?q?brysXNWD1YLri6vvodX6WEZhvHKFe7R8LRG7/036l/I9ps9cEJs30QbDuXBSeu?= =?us-ascii?q?5blitCLFOXmAvgtI/rpMYwuwwZgf8q9tZBXKPmZOx4COUAVHV1e1wysfbztAPE?= =?us-ascii?q?VkOi4nobSmILlh1TS1ze4RX7WY/2rwP1s+N83G+ROsigHp4uXjH3xqFqTFfNgS?= =?us-ascii?q?sHPiAw6Gzbht042KtdoRaJvRF0xI/QJoaPO6wtLevmYdoGSD8ZDY5qXCtbD9b5?= =?us-ascii?q?NtNXAg=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0BRBQDEf/9X/zPhmQVcHAEBBAEBCgEBF?= =?us-ascii?q?wEFAQsBgxIBAQEBAR1XfKQ4h1uOYymFeAIIgXc8EAEBAQEBAQEBAQEBXSeCMgQ?= =?us-ascii?q?BFQEEghEBAQQ6BgMBNQEBDgsOCi4hNgYTiDYDGwEJtT+FMAcChDYNg3IBAQEBA?= =?us-ascii?q?QEEAQEBAQEBAQEBAQETAQmIOoJYgkeBUhACARtjgk2CL45CixA1hieGS4MLZ4E?= =?us-ascii?q?HToQZgxSGDIhlhAETg381H1CEZXEBhyKBQQEBAQ?= X-IPAS-Result: =?us-ascii?q?A0BRBQDEf/9X/zPhmQVcHAEBBAEBCgEBFwEFAQsBgxIBAQE?= =?us-ascii?q?BAR1XfKQ4h1uOYymFeAIIgXc8EAEBAQEBAQEBAQEBXSeCMgQBFQEEghEBAQQ6B?= =?us-ascii?q?gMBNQEBDgsOCi4hNgYTiDYDGwEJtT+FMAcChDYNg3IBAQEBAQEEAQEBAQEBAQE?= =?us-ascii?q?BAQETAQmIOoJYgkeBUhACARtjgk2CL45CixA1hieGS4MLZ4EHToQZgxSGDIhlh?= =?us-ascii?q?AETg381H1CEZXEBhyKBQQEBAQ?= X-IronPort-AV: E=Sophos;i="5.31,339,1473112800"; d="scan'208";a="196655867" Received: from bark.recoil.org ([5.153.225.51]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 13 Oct 2016 14:42:27 +0200 Received: from bark.recoil.org (localhost [127.0.0.1]) by bark.recoil.org (OpenSMTPD) with ESMTP id a41dcdae; Thu, 13 Oct 2016 13:42:25 +0100 (BST) DKIM-Signature: v=1; a=rsa-sha1; c=relaxed; d=recoil.org; h=subject :mime-version:content-type:from:in-reply-to:date:cc :content-transfer-encoding:message-id:references:to; s= selector1; bh=dmC1ITelmhVhACINKbU88RxD9OU=; b=hWU7Y2sgwMUzdwG5gz mxh2EKIw/pRJg/ye8SJFKIqvztO4YQYfvq5jPZb4HtqeLz9tKvdFmg5p6ViVHwtg BXwGuTA0zhqtkfFvbe1oz5Sird3g3GA3DfNhCFZjU8HqVyhKVb6iGMnhQ5GCd42F kPEV6dGiH9UMgdBPSUa8/b3Yw= DomainKey-Signature: a=rsa-sha1; c=nofws; d=recoil.org; h=subject :mime-version:content-type:from:in-reply-to:date:cc :content-transfer-encoding:message-id:references:to; q=dns; s= selector1; b=JRf84SV3U4FY9rpkIOy7zjr8DhMuxnUdk9Jgsiv2o0jCM6Ds6N9 ewqxWX50h4zOlTjIPMw0CjD/03NKKQEcW62d94WsOUB3maQAJSlHeX+vQXnp/0o6 X/sh0pmFx87JfxfQp7PNKhxLE2l47Ft/fmiiSvvHa774e16yLMidvqbI= Received: from [172.16.10.109] (mail.astons-coaches.co.uk [194.72.166.2]) by bark.recoil.org (OpenSMTPD) with ESMTPSA id 0b1ad865 (TLSv1:ECDHE-RSA-AES256-SHA:256:NO); Thu, 13 Oct 2016 13:42:25 +0100 (BST) Mime-Version: 1.0 (Mac OS X Mail 9.3 \(3124\)) Content-Type: text/plain; charset=us-ascii From: Anil Madhavapeddy In-Reply-To: Date: Thu, 13 Oct 2016 13:42:24 +0100 Cc: OCaml Content-Transfer-Encoding: quoted-printable Message-Id: <8D59920F-E835-46F1-A1CC-8AA6542397D0@recoil.org> References: To: Spiros Eliopoulos X-Mailer: Apple Mail (2.3124) Subject: Re: [Caml-list] ANN: angstrom On 22 Jul 2016, at 14:35, Spiros Eliopoulos wrote: >=20 > Hey List, >=20 > 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 sev= eral months: >=20 > https://github.com/inhabitedtype/angstrom > http://opam.ocaml.org/packages/angstrom >=20 > 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. >=20 > Whereas many OCaml parser combinator libraries claim heritage from the Pa= rsec[0] Haskell library, angstrom instead follows the design and semantics = of attoparsec[1], hence the name[2]. For a high-level comparison of Angstro= m's features to other parser-combinator libraries, see the table included i= n the README: >=20 > https://github.com/inhabitedtype/angstrom#comparison-to-other-libraries I just wanted to thank Spiros for a great recent OCaml Workshop 2016 talk o= n his work on the webstack and point to his talk: https://www.youtube.com/watch?v=3DtTqqu4xh4UY&list=3DPLnqUlCo055hVHS08n-Po_= T4K2eNNahkg9&index=3D13 (livenotes as it happened: http://icfp2016.mirage.io/OCaml/improving-the-oc= aml-webstack-.md ) And also one by Romaine on using Angstrom in his Mr MIME email parsing libr= ary: https://www.youtube.com/watch?v=3DkQkRsNEo25k&index=3D12&list=3DPLnqUlCo055= hVHS08n-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 p= rogress 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 t= o the appropriate issue repository for your desired features for those prot= ocol libraries. regards, Anil=