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 91C62823C2 for ; Sun, 11 Feb 2018 03:15:24 +0100 (CET) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=maxime.ransan@gmail.com; spf=Pass smtp.mailfrom=maxime.ransan@gmail.com; spf=None smtp.helo=postmaster@mail-wm0-f44.google.com Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of maxime.ransan@gmail.com) identity=pra; client-ip=74.125.82.44; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="maxime.ransan@gmail.com"; x-sender="maxime.ransan@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of maxime.ransan@gmail.com designates 74.125.82.44 as permitted sender) identity=mailfrom; client-ip=74.125.82.44; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="maxime.ransan@gmail.com"; x-sender="maxime.ransan@gmail.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-wm0-f44.google.com) identity=helo; client-ip=74.125.82.44; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="maxime.ransan@gmail.com"; x-sender="postmaster@mail-wm0-f44.google.com"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3AXjIb4h8WAY5wiP9uRHKM819IXTAuvvDOBiVQ1KB4?= =?us-ascii?q?2+gcTK2v8tzYMVDF4r011RmVBdyds6oMotGVmpioYXYH75eFvSJKW713fDhBt/?= =?us-ascii?q?8rmRc9CtWOE0zxIa2iRSU7GMNfSA0tpCnjYgBaF8nkelLdvGC54yIMFRXjLwp1?= =?us-ascii?q?Ifn+FpLPg8it2O2+54Dfbx9UiDahfLh/MAi4oQLNu8cMnIBsMLwxyhzHontJf+?= =?us-ascii?q?RZ22ZlLk+Nkhj/+8m94odt/zxftPw9+cFAV776f7kjQrxDEDsmKWE169b1uhTF?= =?us-ascii?q?UACC+2ETUmQSkhpPHgjF8BT3VYr/vyfmquZw3jSRMNboRr4oRzut86ZrSAfpiC?= =?us-ascii?q?gZMT457HrXgdF0gK5CvR6tuwBzz4vSbYqINvRxY7ndcMsVSmpPXMlfVyJPDICh?= =?us-ascii?q?YYURE+UMJvxXo5XnqlYUsReyGQuhCeXywTFInH/22qg63vwmHw7c0w0gHtcOv2?= =?us-ascii?q?rJp9vpLqgSV/u1w7POzT7eaP5W3C3y6YfJchAkv/6AR6hwftDXyUk0DQzFiE6d?= =?us-ascii?q?qYPgPzyP1+QNt3KX4PZnVeKqkmMqrRx6rDu3xso0iITEiZgZxk3a+Sh52oo4Js?= =?us-ascii?q?O0RFR0bNOrFpZbqjuUOJFsQsw4RmFloCY6xaMCuZ68ZCUKzY4oxx/ba/CefYmI?= =?us-ascii?q?5w7vWP+fITp3i39pYr2/hxG18Uivzu3zSNO430pNripAitXMt3YN2ALP6sWfSP?= =?us-ascii?q?Zw8V2t1SuR2w3T8O1JIl44mbDUJpMu2rIwk4AcsUXHHi/4gkX2i6qWe10h+uey?= =?us-ascii?q?5OXnY7DmqYGGO49ukA7+NL8ulda5AekjPQgOWnKU+eW41LH54UL5R7BKguUskq?= =?us-ascii?q?bFqJDaOdgbpqmhDgBJyIkj7hK/Ay6i0NQZhnkHMElIeAmHjojsI1HBOur0Dfa5?= =?us-ascii?q?g1S2kTdk3erKPrP7AsaFEn+Ws7rne7th6wZ1xAM2hfVe45ZZEPlVI//1XELttN?= =?us-ascii?q?XUBxo8MgiwzvzPB9B014dYUmWKVPy3KqTX5HqB9uMqLqG2bYkOsTC1f/0s9//r?= =?us-ascii?q?gDkjkFkGdK+B0p4eaXT+FfNjdRbKKUHwi8sMRD9Z9jE1S/bn3RjbCWYKNiSCGp?= =?us-ascii?q?kk7zR+M7qISILKR4SjmruEhX7pEZhfZ2QAAVeJQy6xK9e0HswUYSfXGfdP1yQe?= =?us-ascii?q?XOH4GYAk3BCq8gT9zug/d7eGymgjrZvmkeNNyajTmBU1r2EmCs2c1ySSSjkxkD?= =?us-ascii?q?9UATAx2697rAp2zVLRiaU=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0CKAgAypn9afyxSfUpdGgEBAQEBAgEBA?= =?us-ascii?q?QEIAQEBAYUoFRODZYE5lw2CAoQBjXyHcwqFOwKCOhkHBDQUAQIBAQEBAQEBAQE?= =?us-ascii?q?SAQEJCwsIJjGCOCQBgkYBAQEBAgEjHQEbHQEDAQsGBQQHDSoCAiEBAREBBQEcB?= =?us-ascii?q?hOKHAEDDQikMUCMF4F8CQUBHIMMBYNYChknDVlYgg0BAQEBAQEEAQEBAQEBGgI?= =?us-ascii?q?GEoRqghWBV4RgNoJrghcBAYM1gmUFiwiYcTUJgkyOLoUKgh+GKot7ixSDNok6F?= =?us-ascii?q?CWBFzaBcjMaI1IyghSCRoIxQTeJeoI8AQEB?= X-IPAS-Result: =?us-ascii?q?A0CKAgAypn9afyxSfUpdGgEBAQEBAgEBAQEIAQEBAYUoFRO?= =?us-ascii?q?DZYE5lw2CAoQBjXyHcwqFOwKCOhkHBDQUAQIBAQEBAQEBAQESAQEJCwsIJjGCO?= =?us-ascii?q?CQBgkYBAQEBAgEjHQEbHQEDAQsGBQQHDSoCAiEBAREBBQEcBhOKHAEDDQikMUC?= =?us-ascii?q?MF4F8CQUBHIMMBYNYChknDVlYgg0BAQEBAQEEAQEBAQEBGgIGEoRqghWBV4RgN?= =?us-ascii?q?oJrghcBAYM1gmUFiwiYcTUJgkyOLoUKgh+GKot7ixSDNok6FCWBFzaBcjMaI1I?= =?us-ascii?q?yghSCRoIxQTeJeoI8AQEB?= X-IronPort-AV: E=Sophos;i="5.46,493,1511823600"; d="scan'208,217";a="254367992" Received: from mail-wm0-f44.google.com ([74.125.82.44]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 11 Feb 2018 03:15:23 +0100 Received: by mail-wm0-f44.google.com with SMTP id t74so3834588wme.3 for ; Sat, 10 Feb 2018 18:15:23 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=mime-version:references:in-reply-to:from:date:message-id:subject:to :cc; bh=tzQSmuwAvX//xPvrvOOoNQGch0zjg4+d0S1+NAL5XZ0=; b=ZRlT8fCGsePK6IHlfipojiPV2swyZGNJV4o/2GcRybRNkHM3OKAudu35MZ/UqW520R XXVkv7AG4OYr+PPD4zKJk8kp58EQjqMHJr/gATQVZsZo4M5T0r6+zhJ6F0CzlzSMwUe7 EkA7g9KCVo1IwIsx63OvZ2Pqthqsd5fIIQrJkgdl1X0uXJQPX/OAuhFuWmbeh3MoIIw7 VloGUahfGvaxHwzWB+LASz9C02sG5LvHlObv47GW8f0FfieUdCgqyAwfTVbA33W5VXvT Kd8gNQ6uhzaHFwihyn+CdFiZiO2ZLh+Yjcbdd70+3NQxD0lEnZAigLuFN3FMMMAMtaVO 1rFQ== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:mime-version:references:in-reply-to:from:date :message-id:subject:to:cc; bh=tzQSmuwAvX//xPvrvOOoNQGch0zjg4+d0S1+NAL5XZ0=; b=M8FPwIJhz+kyryEaNT+OzGmVAOQTN2eLvFwoBvTZ+gMbVqDblO1YQEz99OYOeiktos d6QHZvUbABxFXkYU4VCFQCrs7h+7LfaOtNx7a97slI/Wx2uGY2+6k8oia2unbOX7upt4 mK2U5vmtVQ78l5MIV69JOUWg2XT7W0T23ysruRvVIFC5jhbNHVdG49vicCKoJeaizbt2 Jc07lCm9Eijj/prWunHA3vu3V1sFs1M6w9gBgcM5KR3dGGrB3hwvCrp9OwFDFfnQDEvx A9X4TGS8c6SgbP2zIA3bjAVDa0ID1b/u9t9GqhpOenOF4BBWS1Dth9Rm+y4I8mPy96Py D/QQ== X-Gm-Message-State: APf1xPAqmd4XZMfEwA/97CPUHZ9/ccSI89hkDnJWZ9m2zmO71nRPuWOo txN7uMI4qIYnrz9InHXQe7WepsJzYzMc398jleE= X-Google-Smtp-Source: AH8x225KO+bws6p4u5Va/BweBLUC86eQuNu70kaJYQwWGlkTctsUM/N4vi3Z4fzZNwMVvOOnd9RJ7jJedUcFZ6hvWCc= X-Received: by 10.80.165.97 with SMTP id z30mr10276617edb.66.1518315322835; Sat, 10 Feb 2018 18:15:22 -0800 (PST) MIME-Version: 1.0 References: <4236B9F6-0302-4E8E-9DB7-3320A1C28FE8@louisroche.net> In-Reply-To: From: Maxime Ransan Date: Sun, 11 Feb 2018 02:15:12 +0000 Message-ID: To: Kenneth Adam Miller Cc: =?UTF-8?B?TG91aXMgUm9jaMOp?= , picflo_2@web.de, caml users Content-Type: multipart/alternative; boundary="f403045c11ce7987d40564e655e4" Subject: Re: [Caml-list] Protobuf for ocaml --f403045c11ce7987d40564e655e4 Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable The difference between ppx_deriving_protobuf and ocaml-protoc is that the former generates a protobuf schema from an OCaml type while the later generates the OCaml type from a protobuf schema. They are both using the same runtime library for the binary encoding. Although I have written ocaml-protoc as a personal project, it has been used successfully in a professional context to interface with apache mesos. On Sat, Feb 10, 2018 at 8:10 PM Kenneth Adam Miller < kennethadammiller@gmail.com> wrote: > The space complexity is ridiculous (at least X^2, possibly 2^n), it isn't > as convenient as any of the others in allowing you to derive your own > specs, it's horribly written code that uses ref and doesn't conform to > OCaml conventions, it caused a lot of crashing on our end, only works for= a > particular compile target until I went to update it, the Makefile is an > awful unmaintainable and unreadable mess, the language it defines is > unnecessary and it's hard to get anything to change. > > We (me and some team mates) had this forced on us for the features we > required, which was to be able to get data in and out of ocaml to other > languages, and wanted to use it for a large project. It ended up causing a > lot of unnecessary and unwanted slow down in development, both for our > cases and for CMU's BAP. They had the same problems, and everyone that has > touched it had to do unwanted work trying to get it to reliably do what it > advertises. > > On Sat, Feb 10, 2018 at 7:43 PM, Louis Roch=C3=A9 w= rote: > >> Can you give more details please ? > > >> >> > On 11 Feb 2018, at 04:56, Kenneth Adam Miller < >> kennethadammiller@gmail.com> wrote: >> > >> > **Dont use piqi!** It's really terrible code. >> > --f403045c11ce7987d40564e655e4 Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
The difference between ppx_deriving_protobuf and ocaml-pro= toc is that the former generates a protobuf schema from an OCaml type while= the later generates the OCaml type from a protobuf schema. They are both u= sing the same runtime library for the binary encoding.

A= lthough I have written ocaml-protoc as a personal project, it has been used= successfully in a professional context to interface with apache mesos.
=


On Sat, Feb 10, 2018 at 8:10 PM Kenneth Adam Miller <kennethadammiller@gmail.com>= wrote:
The space = complexity is ridiculous (at least X^2, possibly 2^n), it isn't as conv= enient as any of the others in allowing you to derive your own specs, it= 9;s horribly written code that uses ref and doesn't conform to OCaml co= nventions, it caused a lot of crashing on our end, only works for a particu= lar compile target until I went to update it, the Makefile is an awful unma= intainable and unreadable mess, the language it defines is unnecessary and = it's hard to get anything to change.

We (me and some team mates)= had this forced on us for the features we required, which was to be able t= o get data in and out of ocaml to other languages, and wanted to use it for= a large project. It ended up causing a lot of unnecessary and unwanted slo= w down in development, both for our cases and for CMU's BAP. They had t= he same problems, and everyone that has touched it had to do unwanted work = trying to get it to reliably do what it advertises.=C2=A0

On Sat, Feb 10, 2018 at 7:4= 3 PM, Louis Roch=C3=A9 <mail@louisroche.net> wrote:
Can you give more details please ?
=


> On 11 Feb 2018, at 04:56, Kenneth Adam Miller <kennethadammiller@gmail.com> wrote:
>
> **Dont use piqi!** It's really terrible code.
--f403045c11ce7987d40564e655e4--