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 87E8F7FA5E for ; Sat, 22 Apr 2017 14:49:18 +0200 (CEST) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=ssp.mryau@gmail.com; spf=Pass smtp.mailfrom=ssp.mryau@gmail.com; spf=None smtp.helo=postmaster@mail-qt0-f180.google.com Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of ssp.mryau@gmail.com) identity=pra; client-ip=209.85.216.180; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="ssp.mryau@gmail.com"; x-sender="ssp.mryau@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of ssp.mryau@gmail.com designates 209.85.216.180 as permitted sender) identity=mailfrom; client-ip=209.85.216.180; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="ssp.mryau@gmail.com"; x-sender="ssp.mryau@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-qt0-f180.google.com) identity=helo; client-ip=209.85.216.180; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="ssp.mryau@gmail.com"; x-sender="postmaster@mail-qt0-f180.google.com"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3AkgLJABBcnsiTw5J0l1plUyQJP3N1i/DPJgcQr6Af?= =?us-ascii?q?oPdwSPvzr8bcNUDSrc9gkEXOFd2CrakV16yO6+jJYi8p2d65qncMcZhBBVcuqP?= =?us-ascii?q?49uEgeOvODElDxN/XwbiY3T4xoXV5h+GynYwAOQJ6tL1LdrWev4jEMBx7xKRR6?= =?us-ascii?q?JvjvGo7Vks+7y/2+94fdbghMizexe69+IAmrpgjNq8cahpdvJLwswRXTuHtIfO?= =?us-ascii?q?pWxWJsJV2Nmhv3+9m98p1+/SlOovwt78FPX7n0cKQ+VrxYES8pM3sp683xtBnM?= =?us-ascii?q?VhWA630BWWgLiBVIAgzF7BbnXpfttybxq+Rw1DWGMcDwULs7Xims77pwSB/wli?= =?us-ascii?q?gIKyI5/m/Qisx1lq1boRShrAF7z4PbZIyZMfxzdb7fc9wHX2pMRsReVyJBDI2y?= =?us-ascii?q?bIUBEvQPMvpDoobnu1cDtwGzCRWwCO7tzDJDm3/43bc90+QkCQzIwRIvH8gBsH?= =?us-ascii?q?vKsd77KaYSUf62zKnP0zXIcvRb2Szm6IjQaBwhpOuMXLJqfsrM0kQvGAbFgU+R?= =?us-ascii?q?qYzhJT+ayuMNs22C4udmSOmhhWknqwRrrTiuwMchkojJhoQPylDF7yp12og1Jc?= =?us-ascii?q?egRE97e9GkEJxQtyaAO4RqRcMiRmdlszs5xL0eoZO3YjQGxZA9yxPca/GLaZaE?= =?us-ascii?q?7g/iWeqLPDt1h25pdbSijBio60eg0PfzVsys3VZKsCVFlt7Mu2gI1xPJ68iHTu?= =?us-ascii?q?Jx/l692TqTzgzT5PxILEMomabBJJ4hxbkwlpUXsUvdBCP5hEL2jKqOekUl/Oin?= =?us-ascii?q?9fjnb634qpOAM4J4kALzP6Q0lsChHOg1MxICU3WY9OigzLHj+Ff2QLROjv04iK?= =?us-ascii?q?nZt5XaKNwApq6iGw9ZyIMj6wy/Dji8zdQVhnYHLFdfdxKGi4jlIU3BIPf9Dfun?= =?us-ascii?q?mVSjjC9rx+zaPr3mGpjCMmLMkLLlfbpk705cyREzzcxE6pJPCrABJerzVVXruN?= =?us-ascii?q?zZCB85KQ20zPz9BNVzzINNEV6IV6SQNaeXtV6T+souJfONbckbomXTMf8gssXj?= =?us-ascii?q?l3A00WQcY6quw9NDc2ugWPF8MkyESXXpi9YFV2wNu1xtH6TRlFSeXGsLND6JVK?= =?us-ascii?q?Um62RnWY8=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0DzAwB9UPtYhrTYVdFcHAEFAQsBGQYMh?= =?us-ascii?q?AuBDAeDYJpPAQEGgSaCPIZTjFaCDyyFeAKEBQdAFwEBAQEBAQEBAQEBEgEBAQg?= =?us-ascii?q?LCwgoL4IzCoJYAQEBAQIBIx0BGxIMAwELBgUEBw0MAR0CAiIBEQEFAQoSGRICB?= =?us-ascii?q?YlqAQMIBQgOnQY/jAWCBAUBHIMJBYNXChknAwpWgw8BAQgBAQEBHAIGEoV7giO?= =?us-ascii?q?DGYQ6AQFIglmCXwWHXQyJJIw0hxeLb4JVjwKSURQfgRUPEQGBPCYdIFkYhBhJg?= =?us-ascii?q?Xk2NYcIgi4BAQE?= X-IPAS-Result: =?us-ascii?q?A0DzAwB9UPtYhrTYVdFcHAEFAQsBGQYMhAuBDAeDYJpPAQE?= =?us-ascii?q?GgSaCPIZTjFaCDyyFeAKEBQdAFwEBAQEBAQEBAQEBEgEBAQgLCwgoL4IzCoJYA?= =?us-ascii?q?QEBAQIBIx0BGxIMAwELBgUEBw0MAR0CAiIBEQEFAQoSGRICBYlqAQMIBQgOnQY?= =?us-ascii?q?/jAWCBAUBHIMJBYNXChknAwpWgw8BAQgBAQEBHAIGEoV7giODGYQ6AQFIglmCX?= =?us-ascii?q?wWHXQyJJIw0hxeLb4JVjwKSURQfgRUPEQGBPCYdIFkYhBhJgXk2NYcIgi4BAQE?= X-IronPort-AV: E=Sophos;i="5.37,233,1488841200"; d="scan'208,217";a="221176219" Received: from mail-qt0-f180.google.com ([209.85.216.180]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 22 Apr 2017 14:49:17 +0200 Received: by mail-qt0-f180.google.com with SMTP id c45so86596730qtb.1 for ; Sat, 22 Apr 2017 05:49:17 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=mime-version:in-reply-to:references:from:date:message-id:subject:to; bh=mrCxlUEfa06ZGFFFWW5vc+S5YEqA0JyGwpebbdbIqo0=; b=f7jb0GsoemUSi8+7ZE1/RJJvBCLOHUP1ChXF02+AnZfPQaCux9D0iJ3iBFvzH52XHN GZvD6qYrZr+1uJNfssemY9/UXiQHnjVxr4T9sFhmXRkeYOvU5lobW9vWvGX5NiJch9Hl Orhns2kYhl6C//FSjUJkl9JoeX3Jocy9TzGJdE3NlrgJFfNZ8mCawlPgcK7Wp1Locotb kDbRBLoirCGaVlIsr/f/xxBcqbYXYXNX0xPkrX66Ez4dl6QD/gbe/fdJcdfTIOlSay9i tGXrITk9Ql95BxRpZ3TYL4hv9mskT7MWb4W7Q+sGV7atbs1jZVLKrnweuUMDaGksryxW o17g== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:mime-version:in-reply-to:references:from:date :message-id:subject:to; bh=mrCxlUEfa06ZGFFFWW5vc+S5YEqA0JyGwpebbdbIqo0=; b=IYWeLnu5tDjPcIb0H41IKsK4N8+/ffProuJtW2ByMftBtU4fuzV2q9KskuHGSJZnou x83idFIAFBDGDPKmsms3wo9dN/3cy8NaN8unsSI5pednEVBwA4fENkOj9Z/tWC0+1BRA ZXpDIK4T051RRoeN0lNYL5VBOtWioCzu+vT1xhzg8+tLytZ0TdCcrBHPNj9Z2AvOK5Rn BXKh+KKIruJERwS1gnf6ZQYjSYAqorcExglCjgXtzT15BsJKkIXJ8l7KAmFNlLfjAS/A 8xEQfSuxX4bBUau/psuHITfNVHBuMSRbYS2a5pHxWOj/DtAk/rCgQIbOLUPeyfpv69t+ Xa0Q== X-Gm-Message-State: AN3rC/5x3w8WeHHki7jgxAiDUfj0TB4ojwtWV1Wka3FUHlDkpMxvP4/f MjkFevYcPT7hLSmkQ3bD6RDCaeRMJQ== X-Received: by 10.200.37.136 with SMTP id e8mr18038734qte.30.1492865355840; Sat, 22 Apr 2017 05:49:15 -0700 (PDT) MIME-Version: 1.0 Received: by 10.140.38.177 with HTTP; Sat, 22 Apr 2017 05:49:15 -0700 (PDT) In-Reply-To: <87d1c55pbx.fsf@rochefort> References: <58FA7E22024A00360039082F_0_1166040@n472> <87d1c55pbx.fsf@rochefort> From: Serge Sivkov Date: Sat, 22 Apr 2017 18:49:15 +0600 Message-ID: To: caml-list@inria.fr Content-Type: multipart/alternative; boundary=001a11c020983b8382054dc0cd72 Subject: Re: [Caml-list] PPX is harmful to our community in the long term --001a11c020983b8382054dc0cd72 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: quoted-printable Hence, my two cents: PPX has problems in cross-compilation use cases, but I suppose something like new tag in META can reslove this issue. As for me, just ppx_deriving* by whitequark is yet one example of usefullness of PPX. WBR, ssp 2017-04-22 5:10 GMT+06:00 Emilio Jes=C3=BAs Gallego Arias : > "Hongbo Zhang (BLOOMBERG/ 731 LEX)" writes: > > > Yes, that's exactly what I suggested in the beginning! > > Maybe I interpret the word "harmful" differently, but IMVHO I have to > strongly disagree with your choice of subject in the original mail. > > Not only PPX has not been harmful for me, but it has been a life-saver > tool that has enabled significant progress towards more productive > research. > > "Hongbo Zhang (BLOOMBERG/ 731 LEX)" writes: > > > calling it 'madness' is disrespectful > > Personally, I fully subscribe Yaron's message and I see nothing > disrespectful in suggesting that abandoning syntactic abstractions is a > very bad idea. > > You wrote: > > "the OCaml library developer should avoid PPX as much as you can", > > but if you meant: > > "PPX seems quite unstable these days, I wonder how could we improve > long-term stability?" > > I'd have to admit that message didn't reach to me. > > Best regards! > Emilio > > -- > Caml-list mailing list. Subscription management and archives: > https://sympa.inria.fr/sympa/arc/caml-list > Beginner's list: http://groups.yahoo.com/group/ocaml_beginners > Bug reports: http://caml.inria.fr/bin/caml-bugs > --001a11c020983b8382054dc0cd72 Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: quoted-printable
Hence, my two cents: PPX has problems in cross-compilation= use cases, but I suppose something like new tag in META can reslove this i= ssue.
As for me, just ppx_deriving* by whitequark is yet one example of= usefullness of PPX.

WBR, ssp

2017-04-22 5:10 GMT+06:00 = Emilio Jes=C3=BAs Gallego Arias <e@x80.org>:
"Hongbo Zhang (BLOOMBERG/ 731 LEX)" &= lt;hzhang295@bloomberg.net&g= t; writes:

> Yes, that's exactly what I suggested in the beginning!

Maybe I interpret the word "harmful" differently, but IMVH= O I have to
strongly disagree with your choice of subject in the original mail.

Not only PPX has not been harmful for me, but it has been a life-saver
tool that has enabled significant progress towards more productive
research.

"Hongbo Zhang (BLOOMBERG/ 731 LEX)" <hzhang295@bloomberg.net> writes:

> calling it 'madness' is disrespectful

Personally, I fully subscribe Yaron's message and I see nothing<= br> disrespectful in suggesting that abandoning syntactic abstractions is a
very bad idea.

You wrote:

=C2=A0"the OCaml library developer should avoid PPX as much as you can= ",

but if you meant:

=C2=A0"PPX seems quite unstable these days, I wonder how could we impr= ove
=C2=A0 long-term stability?"

I'd have to admit that message didn't reach to me.

Best regards!
Emilio

--
Caml-list mailing list.=C2=A0 Subscription management and archives:
https://sympa.inria.fr/sympa/arc/caml-list
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs

--001a11c020983b8382054dc0cd72--