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 mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id 0E11E7EE34 for ; Fri, 18 Mar 2016 12:00:21 +0100 (CET) IronPort-PHdr: 9a23:0QKq/BNmVQ5J7bm7gCgl6mtUPXoX/o7sNwtQ0KIMzox0KPj+rarrMEGX3/hxlliBBdydsKIUzbKL+Pm8CCQp2tWojjMrSNR0TRgLiMEbzUQLIfWuLgnFFsPsdDEwB89YVVVorDmROElRH9viNRWJ+iXhpQAbFhi3DwdpPOO9QteU1JTnkbjvsMSPMk1hv3mUX/BbFF2OtwLft80b08NJC50a7V/3mEZOYPlc3mhyJFiezF7W78a0+4N/oWwL46pyv/h6f46/Oo4xQYdVCi8nL2Er5dH6/VmZFUrcrkcbB24flx4NBwne8Dn7WI3wu230rLlTwi6faNX3Rr4wXgP4x7hmQlnkhXRUfwUl+X3a35QjxJlQpwis8kYnzg== Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=picflo_2@web.de; spf=Pass smtp.mailfrom=picflo_2@web.de; spf=None smtp.helo=postmaster@mout.web.de Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of picflo_2@web.de) identity=pra; client-ip=212.227.15.4; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="picflo_2@web.de"; x-sender="picflo_2@web.de"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of picflo_2@web.de designates 212.227.15.4 as permitted sender) identity=mailfrom; client-ip=212.227.15.4; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="picflo_2@web.de"; x-sender="picflo_2@web.de"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@mout.web.de) identity=helo; client-ip=212.227.15.4; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="picflo_2@web.de"; x-sender="postmaster@mout.web.de"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0A8AQAJ3+tWkwQP49RegnmpK18EA4F2AY4Rgh2Bb4YNJYEMOhIBAQEBAQEBARABAQEBBw0JCSEvgi2CCzNrCQEWAiYCQ0CIAAEZoXePXYozH4U3fIcdAYZsJBAwgXwLLROCQwWXVpczBIVUjwUnDoFjDFKBUotMAQEB X-IPAS-Result: A0A8AQAJ3+tWkwQP49RegnmpK18EA4F2AY4Rgh2Bb4YNJYEMOhIBAQEBAQEBARABAQEBBw0JCSEvgi2CCzNrCQEWAiYCQ0CIAAEZoXePXYozH4U3fIcdAYZsJBAwgXwLLROCQwWXVpczBIVUjwUnDoFjDFKBUotMAQEB X-IronPort-AV: E=Sophos;i="5.24,354,1454972400"; d="scan'208,217";a="208592878" Received: from mout.web.de ([212.227.15.4]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 18 Mar 2016 12:00:20 +0100 Received: from [95.91.239.27] by 3capp-webde-bs09.server.lan (via HTTP); Fri, 18 Mar 2016 12:00:19 +0100 MIME-Version: 1.0 Message-ID: From: picflo_2@web.de To: caml-list@inria.fr Content-Type: text/html; charset=UTF-8 Date: Fri, 18 Mar 2016 12:00:19 +0100 Importance: normal Sensitivity: Normal X-Priority: 3 X-Provags-ID: V03:K0:aukg+lvDgat91JtTR7GtX2b4JfAyicG6rkPm4MNEXfv yOk0kTlmQmkvddTYEViWsruYhrpbP1k3wGAHP+sHCw03Pue/WS CH9eyQnjEUDbsZY6mali1VIAAlzdLATmLhP1N9o8uB4sYpGypR 67WvIsBneApjdHo5jcNcao2N/H41kTAxFGyi1Qd/ZGSPGu3UPU iCfLpjAn/SSEEToeCbVAVQkv4KIfmZgU3WOnb2THetmppgqW+T nRx3HHqYAEsjglOnYE8rXItcbyc4ogS9CmGgjPmfkwz+5hV6St aVXqtc= X-UI-Out-Filterresults: notjunk:1;V01:K0:HX5vBhQA20M=:5dHWznGnKUzFqkLXi8YV5/ CZJu/BcOCn2gWqJwTpXfHAYVLgNbgXUiet2+Ii1Jg6OV/Y5WXsum11sJYOgWPzXiFyMlRBn2E 3u4Y7xuSrwS7KH0jreChwUEiT/tlfz1EmigpwjzaAarA8lxSlHJUBnOfnO4nCrLWoBBzjbxkE xNxbzds5h6V912YKrqm7BPCwEg9+bAfAOYSHGyBTFaUVxQ8l+1I6bWJarlqESWzmubeIcp+GL 8isakhqup/qiRNlOUQpWzmSofkqjMXGZ/gkeGuvJgytJdCeVhDid4JzqisgVrSSaNn2QrHnOe wwoW/WduXTT3afavUEzgGtPLiXIgsHp5n+9MQW7FGt4sTISIonad6TOaOVnxgELlZjn1g0UzU eyLElDyHnqRFr7OnhutI5AtTlBx33KVWiSeAJ8hZMeK9hXUytUn56oKynOEzwUkI/gr9V5RJP OWdB7WL4PA== X-Validation-by: picflo_2@web.de Subject: [Caml-list] ABNF Parser

Hi,

i want to encode my network protocols inside a state machine which i derive from an abnf specification. Ideally i would like to generate the client and server side from

a single ABNF spec. Is this a valid approach and if so is there some OCaml open source project for reading abnf specs?

I would also be very interested in how others approach encoding network protocols for distributed systems, especially with OCaml.

Best regards,

Florian