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 053E07FA5E for ; Sat, 22 Apr 2017 01:11:03 +0200 (CEST) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=e@x80.org; spf=Neutral smtp.mailfrom=e@x80.org; spf=None smtp.helo=postmaster@cc-tupan-roaming-a.ensmp.fr Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of e@x80.org) identity=pra; client-ip=194.214.158.137; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="e@x80.org"; x-sender="e@x80.org"; x-conformance=sidf_compatible Received-SPF: Neutral (mail3-smtp-sop.national.inria.fr: domain of e@x80.org does not assert whether or not 194.214.158.137 is permitted sender) identity=mailfrom; client-ip=194.214.158.137; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="e@x80.org"; x-sender="e@x80.org"; 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@cc-tupan-roaming-a.ensmp.fr) identity=helo; client-ip=194.214.158.137; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="e@x80.org"; x-sender="postmaster@cc-tupan-roaming-a.ensmp.fr"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3AKOLFPR09y8h2Ckg2smDT+DRfVm0co7zxezQtwd8Z?= =?us-ascii?q?seIXLvad9pjvdHbS+e9qxAeQG96Kt7Qc06L/iOPJYSQ4+5GPsXQPItRndiQuro?= =?us-ascii?q?EopTEmG9OPEkbhLfTnPGQQFcVGU0J5rTngaRAGUMnxaEfPrXKs8DUcBgvwNRZv?= =?us-ascii?q?JuTyB4Xek9m72/q89pDXbAhEniaxba9vJxiqsAvdsdUbj5F/Iagr0BvJpXVIe+?= =?us-ascii?q?VSxWx2IF+Yggjx6MSt8pN96ipco/0u+dJOXqX8ZKQ4UKdXDC86PGAv5c3krgfM?= =?us-ascii?q?QA2S7XYBSGoWkx5IAw/Y7BHmW5r6ryX3uvZh1CScIMb7Vq4/Vyi84Kh3SR/okC?= =?us-ascii?q?YHOCA/8GHLkcx7kaZXrAu8qxBj34LYZYeYP+d8cKzAZ9MXXWpPUNhMWSxGDIOy?= =?us-ascii?q?YYkAAekPMulXs4bwvEcOoQekCAWwGO/i0D1Fi3nr1qM6yeQhFgTG0RQ+EN8Vv3?= =?us-ascii?q?XZr8n5OL0VUeCvw6nD0DHPYfxT2Tf87IjIcxchquyIU71uasrJ01IvHB7EgFqK?= =?us-ascii?q?rYzlOy2a1usKs2OG8+dgT+OvhHQ8qw10pDWk28QiipHRi44Izl3J+j91zJgoKd?= =?us-ascii?q?C3UkJ3fN6pHZhKuy2HOYZ7QNsuTmJptSogy7ALu4S3cSwQxJg52xLSb/qKeJWS?= =?us-ascii?q?7B35TuaeOzJ4iWpleL2hgxay9lCtxfHgWcWtzFZKszJFncPKtnwUzRzT7dKISv?= =?us-ascii?q?58/ken1jaDzhrc5vtaLkAyjqrbLoYhzqQ+lpoJqUjDHyn2l1vqjKKOa0kp/uel?= =?us-ascii?q?5/75brn7qZKQLZJ4hwH9P6g0h8CyD+Y1PhALX2eB+OS80LPj/Vf+QLVPlvA5jL?= =?us-ascii?q?LUsZ/ZKMgHvKK5BBVV0ok75xalEzimyMgYnWUALF9dZB2IlY3pO1XXLPD8DPe/?= =?us-ascii?q?mEisnSxwx/HGO73hGo/CImLCkLfnZ7Z96lRTxBA9zdBFtNpoDeRLAPX1VUX2/O?= =?us-ascii?q?7YBxk2ezj06cLAL/BX+7kxbSXHXfTAeIf/gWvJrKp7I/uMbYka4megA/Ih4Pnr?= =?us-ascii?q?h3IjlhkbcLX/jrUNb3XtE9x2cx3fZmDjypcsFGYOvw12buHxGkbKfjdXY3u9WO?= =?us-ascii?q?oV/DAyE8P1Xs/4WomxjenZj2+AFZpMazUDUwjUHA=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0CJAAARkfpYl4me1sJcHQEFAQsBGAEFA?= =?us-ascii?q?QsBhRaOb5B0jGqLCYYkAoROFAEBAQEBAQEBAQEBEgEBAQEBCBYGV4IzIgGCQAE?= =?us-ascii?q?CAgF5BQsLIQMiDwEESRMUBYl7DKw6iyMBMYtJhDoBAYYABZ1AAaRdlBk2gSdwT?= =?us-ascii?q?IR5gXFzhwiCLgEBAQ?= X-IPAS-Result: =?us-ascii?q?A0CJAAARkfpYl4me1sJcHQEFAQsBGAEFAQsBhRaOb5B0jGq?= =?us-ascii?q?LCYYkAoROFAEBAQEBAQEBAQEBEgEBAQEBCBYGV4IzIgGCQAECAgF5BQsLIQMiD?= =?us-ascii?q?wEESRMUBYl7DKw6iyMBMYtJhDoBAYYABZ1AAaRdlBk2gSdwTIR5gXFzhwiCLgE?= =?us-ascii?q?BAQ?= X-IronPort-AV: E=Sophos;i="5.37,231,1488841200"; d="scan'208";a="221139820" Received: from jiboia.ensmp.fr (HELO cc-tupan-roaming-a.ensmp.fr) ([194.214.158.137]) by mail3-smtp-sop.national.inria.fr with ESMTP; 22 Apr 2017 01:11:02 +0200 Received: from rochefort (209.9.67.86.rev.sfr.net [86.67.9.209]) (authenticated bits=0) by cc-tupan-roaming-a.ensmp.fr (8.15.2/8.15.2/JMMC-22/Oct/2013) with ESMTPSA id v3LNAwtf004903 (version=TLSv1.2 cipher=ECDHE-RSA-AES256-GCM-SHA384 bits=256 verify=NO); Sat, 22 Apr 2017 01:10:58 +0200 From: e@x80.org (Emilio =?utf-8?Q?Jes=C3=BAs?= Gallego Arias) To: "Hongbo Zhang \(BLOOMBERG\/ 731 LEX\)" Cc: yminsky@janestreet.com, caml-list@inria.fr Organization: X80 Heavy Industries References: <58FA7E22024A00360039082F_0_1166040@n472> X-Url: https://x80.org/emilio/ Mail-Followup-To: "Hongbo Zhang \(BLOOMBERG\/ 731 LEX\)" , yminsky@janestreet.com, caml-list@inria.fr Date: Sat, 22 Apr 2017 01:10:58 +0200 In-Reply-To: <58FA7E22024A00360039082F_0_1166040@n472> (Hongbo Zhang's message of "Fri, 21 Apr 2017 21:48:19 -0000") Message-ID: <87d1c55pbx.fsf@rochefort> User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/26.0.50 (gnu/linux) MIME-Version: 1.0 Content-Type: text/plain X-Miltered: at cc-tupan-roaming-a.ensmp.fr with ID 58FA9182.000 by Joe's j-chkmail (http : // j-chkmail dot ensmp dot fr)! X-j-chkmail-Auth: USER-ID emilio.gallego_arias X-j-chkmail-Enveloppe: 58FA9182.000 from 209.9.67.86.rev.sfr.net/209.9.67.86.rev.sfr.net/86.67.9.209/rochefort/ Subject: Re: [Caml-list] PPX is harmful to our community in the long term "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