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 E46FC82355 for ; Mon, 18 Dec 2017 02:34:43 +0100 (CET) Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=yawar.amin@gmail.com; spf=Pass smtp.mailfrom=yawar.amin@gmail.com; spf=None smtp.helo=postmaster@mail-io0-f171.google.com Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of yawar.amin@gmail.com) identity=pra; client-ip=209.85.223.171; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="yawar.amin@gmail.com"; x-sender="yawar.amin@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of yawar.amin@gmail.com designates 209.85.223.171 as permitted sender) identity=mailfrom; client-ip=209.85.223.171; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="yawar.amin@gmail.com"; x-sender="yawar.amin@gmail.com"; 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@mail-io0-f171.google.com) identity=helo; client-ip=209.85.223.171; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="yawar.amin@gmail.com"; x-sender="postmaster@mail-io0-f171.google.com"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3A0VRZORGwHJoir2dd7RUjGp1GYnF86YWxBRYc798d?= =?us-ascii?q?s5kLTJ78rsmwAkXT6L1XgUPTWs2DsrQY07OQ6/iocFdDyK7JiGoFfp1IWk1Nou?= =?us-ascii?q?QttCtkPvS4D1bmJuXhdS0wEZcKflZk+3amLRodQ56mNBXdrXKo8DEdBAj0OxZr?= =?us-ascii?q?KeTpAI7SiNm82/yv95HJbAhEmCexbaluIBmqsA7cqtQYjYx+J6gr1xDHuGFIe+?= =?us-ascii?q?NYxWNpIVKcgRPx7dqu8ZBg7ipdpesv+9ZPXqvmcas4S6dYDCk9PGAu+MLrrxjD?= =?us-ascii?q?QhCR6XYaT24bjwBHAwnB7BH9Q5fxri73vfdz1SWGIcH7S60/VC+85Kl3VhDnlC?= =?us-ascii?q?YHNyY48G7JjMxwkLlbqw+lqxBm3oLYfJ2ZOP94c6jAf90VWHBBU95TWCxPAo2y?= =?us-ascii?q?YYgBAfcfM+lEtITyvUcCoAGkCAWwGO/iyDlFjWL2060g1OQhFBnL0w46ENMAqn?= =?us-ascii?q?vUtsj+ObsXUeC0yqnD0DLObvNM1jbz8ofIaAotruuJXbJxd8rc0kYvFwbfgVWR?= =?us-ascii?q?rYzpJS+a1uMIs2WC6edrSOyhi2kiqw5rozivwN8hhZTIhoIO1l/E8j95z5svKd?= =?us-ascii?q?23R052Z8OvHphItyyCKYd6XscvT3trtSs60LEKp4C3cSYQxJg6xRPTdvqKeJWS?= =?us-ascii?q?7B35TuaeOzJ4iWpleL2hgxay9lCtyujmWcm11FZGtytFkt7QunwU2Rzf98qKRu?= =?us-ascii?q?Zn8keu3jaP0A/T6uVaLkwuiaXbLJshzqYxlpoVr0vDAjf7lFvqgKKSbEkp+eil?= =?us-ascii?q?5/75brn4qJKQLZJ4hwPjPqg2n8ywG+U4MgwAX2iB/uS80aXu/E3jT7RElPI2iL?= =?us-ascii?q?PVv4rfJcQaoK60GABV0oM55Ba+CzeqysgXnX4CLF5dYhKIk5DpO03SIPD/Ffqw?= =?us-ascii?q?n06jkDJvx/zfOr3hA47NLmTYnbf6fbd97lZcxxApwdBe4ZJUELABL+jpVk//rt?= =?us-ascii?q?yLRiM+Zjazyev9FJ1Yy4caVHjHVrWeOq7IrRmN++YrLvPWTIAQsTf5bfMi4qi9?= =?us-ascii?q?o2U+nAosdLagx9M+bXG+VqB3KlqQezzlh9YHOWgPtws6CuftjQvRAnZoe3+uUv?= =?us-ascii?q?dktXkAA4W8ANKGH9j1jQ=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0CBAwB/Gjdah6vfVdFcHQEBBQELAYNlP?= =?us-ascii?q?3QUDAcHg3+BNpd2ggKZNAofhRwChHkHQxQBAQEBAQEBAQEBEgEBAQgNCQgoL4I?= =?us-ascii?q?4JAGCRwMDIwQZARsdAQMMBgUEBzcCAiEBAREBBQEcBhMUiX0BAxUJnHZAjBCBb?= =?us-ascii?q?RgFARyDCwWDWwoZJw1Zgk0BAQEBAQEBAwEBAQEBAQEBGAIGEoNcgg6BVoFpgyy?= =?us-ascii?q?CajkMgViDK4JjBYdzgneIRY9QPYI7hUSHXFOEfoJ5kHqNGz4CP4hKFAUfgRc2g?= =?us-ascii?q?XEyGiNRMoF3CYI7H4IRIzeKCwEBAQ?= X-IPAS-Result: =?us-ascii?q?A0CBAwB/Gjdah6vfVdFcHQEBBQELAYNlP3QUDAcHg3+BNpd?= =?us-ascii?q?2ggKZNAofhRwChHkHQxQBAQEBAQEBAQEBEgEBAQgNCQgoL4I4JAGCRwMDIwQZA?= =?us-ascii?q?RsdAQMMBgUEBzcCAiEBAREBBQEcBhMUiX0BAxUJnHZAjBCBbRgFARyDCwWDWwo?= =?us-ascii?q?ZJw1Zgk0BAQEBAQEBAwEBAQEBAQEBGAIGEoNcgg6BVoFpgyyCajkMgViDK4JjB?= =?us-ascii?q?YdzgneIRY9QPYI7hUSHXFOEfoJ5kHqNGz4CP4hKFAUfgRc2gXEyGiNRMoF3CYI?= =?us-ascii?q?7H4IRIzeKCwEBAQ?= X-IronPort-AV: E=Sophos;i="5.45,419,1508796000"; d="scan'208,217";a="305850639" Received: from mail-io0-f171.google.com ([209.85.223.171]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 18 Dec 2017 02:34:42 +0100 Received: by mail-io0-f171.google.com with SMTP id w127so8127009iow.11 for ; Sun, 17 Dec 2017 17:34:42 -0800 (PST) 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 :cc; bh=YYGU1FByYxyZU3PoTryk+Bdw6YXMLmDh+STmalmgMmM=; b=S9PTtahZz48hGe34AOjh1AsmCqlcbq/j/mGxI14qRt7o0x7xzGz7bFFTAlmCIXA1si hruBC+DWRjT33bJJuwTDifXlAv2A53PCeTLaGCmUYOJhQuz0BLwhADxXIppbFum6ZqRf zhAH6USWjqtLdT+EdFh5xCgIRKR7XJRglusOJvxLEGLiFQJrzr81VOECwzTvCR2mLIVp oLGIUAC33zlQ4lR0OMyjXkYw8akKYdAQQ+HLBkHjmztu7Tu8wDmmsOvEF9iQ0PCelffw RxT6cWnpwAgQSqJ7LyDaRl2KYVcLQxgouRnQWLGRn75l7sm5uxTy4l3kheQkDf3m/kr/ gBqw== 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:cc; bh=YYGU1FByYxyZU3PoTryk+Bdw6YXMLmDh+STmalmgMmM=; b=nuJ3QcmpjVUvfDYOrw9TfGxbIwfAGCY5YOpuuHBj7aW6Fi8va8WxXSdjgTaoBsTvbR lloyjOOf6RjRgHGRci2t6R6XWi10j0V8kPjgXgF8QLuMwkgSk2Ty1hIJOdMRZHGkEkA3 +weQMgUex2xcbLdFUH/DPWzpImYa2W+L4YXAUDO7866hgdYX1vtIEv8/SQitgR58oIe4 mD8WgVLGZY/PMAHdzBY+Cc3v3EJ0H9inWgMbz9rMxMQHmuFvB+QnoyPgvdLCTcHFWvmQ gXEMAEYr2pwiCFxvHegaPYDASAMxz3dPpPeIoLsV9x7ScNNzhoTFXBakw9TBYxcZGZw0 P6xA== X-Gm-Message-State: AKGB3mLM++jwU4icH6pCwke01lZrCkBK9V0dlJw9g0XKzIC6rtzpgqU1 NkgtIzsvtq6SJZxhqQUtGcrdhsWcd36IAy4m1A== X-Google-Smtp-Source: ACJfBosTRuTB1/gQtQkO0P0Iksee5swvZ3XRUVNBmhLZzW4rg9/owk9IvIKSYk36aRxvkaqtdQeA8uOyUdeSHc9HV0o= X-Received: by 10.107.201.78 with SMTP id z75mr21756318iof.123.1513560881176; Sun, 17 Dec 2017 17:34:41 -0800 (PST) MIME-Version: 1.0 Received: by 10.2.181.19 with HTTP; Sun, 17 Dec 2017 17:34:20 -0800 (PST) In-Reply-To: References: <20171211095444.75abacda@zinid.ru> <20171217201356.djjygim6oelagvt6@matica.foolinux.mooo.com> From: Yawar Amin Date: Sun, 17 Dec 2017 20:34:20 -0500 Message-ID: To: Robert Muller Cc: Ocaml Mailing List Content-Type: multipart/alternative; boundary="94eb2c0c1006ab30f80560935a8d" Subject: Re: [Caml-list] ReasonML concrete syntax --94eb2c0c1006ab30f80560935a8d Content-Type: text/plain; charset="UTF-8" Hi Bob, On Sun, Dec 17, 2017 at 3:49 PM, Robert Muller wrote: > [...] > As I understand it, the OCaml community isn't paying much attention to the > Reason design process. That process is heavily influenced by JS so there > are ample opportunities for unrepairable mistakes. > You have a misunderstanding on this matter. The Reason team contains some very seasoned OCaml hackers. The new syntax of version 3 was mostly designed (IIUC) and implemented by the maintainer of Merlin. These are not script kiddies trying to push JavaScript sensibilities everywhere. These are OCaml people who are trying very carefully to design a syntax that appeals to a massive number of people. Also, you have another misunderstanding about reparability. One of the key components of the Reason toolkit is refmt, the reformatting tool, which they use to automatically and seamlesly upgrade users to the new syntax. In fact this is how they pulled off the version 2 -> version 3 syntax upgrade--they provided a shell script wrapper with the correct invocation to do the syntax change. So you see, the Reason project has made it so it can easily back out of mistakes. They've thought about this very carefully. I repeat my invitation to you to come and talk to them in their chat server, discord.gg/reasonml . Perhaps that will give you some reassurance. Regards, Yawar --94eb2c0c1006ab30f80560935a8d Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
Hi Bob,

On Sun, Dec 17, 2017 at 3:49 PM, Robert Muller <robert.m= uller2@gmail.com> wrote:
[= ...]
As I understand it, the OCaml community isn't paying muc= h attention to the Reason design process. That process is heavily influence= d by JS so there are ample opportunities for unrepairable mistakes.

You have a misunderstandin= g on this matter. The Reason team contains some very seasoned OCaml hackers= . The new syntax of version 3 was mostly designed (IIUC) and implemented by= the maintainer of Merlin. These are not script kiddies trying to push Java= Script sensibilities everywhere. These are OCaml people who are trying very= carefully to design a syntax that appeals to a massive number of people.

Also, you have another misunderstanding about repar= ability. One of the key components of the Reason toolkit is refmt, the refo= rmatting tool, which they use to automatically and seamlesly upgrade users = to the new syntax. In fact this is how they pulled off the version 2 -> = version 3 syntax upgrade--they provided a shell script wrapper with the cor= rect invocation to do the syntax change.

So you se= e, the Reason project has made it so it can easily back out of mistakes. Th= ey've thought about this very carefully. I repeat my invitation to you = to come and talk to them in their chat server, discord.gg/reasonml . Perhaps that will give you some reassu= rance.

Regards,

Yawar
--94eb2c0c1006ab30f80560935a8d--