From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: 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 A0CE682355 for ; Sun, 17 Dec 2017 21:49:15 +0100 (CET) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=robert.muller2@gmail.com; spf=Pass smtp.mailfrom=robert.muller2@gmail.com; spf=None smtp.helo=postmaster@mail-ot0-f170.google.com Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of robert.muller2@gmail.com) identity=pra; client-ip=74.125.82.170; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="robert.muller2@gmail.com"; x-sender="robert.muller2@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of robert.muller2@gmail.com designates 74.125.82.170 as permitted sender) identity=mailfrom; client-ip=74.125.82.170; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="robert.muller2@gmail.com"; x-sender="robert.muller2@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-ot0-f170.google.com) identity=helo; client-ip=74.125.82.170; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="robert.muller2@gmail.com"; x-sender="postmaster@mail-ot0-f170.google.com"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3AhuH/0xAYwqi6cRIamcVRUyQJP3N1i/DPJgcQr6Af?= =?us-ascii?q?oPdwSPT8o8bcNUDSrc9gkEXOFd2Cra4c0qyO6+jJYi8p2d65qncMcZhBBVcuqP?= =?us-ascii?q?49uEgeOvODElDxN/XwbiY3T4xoXV5h+GynYwAOQJ6tL1LdrWev4jEMBx7xKRR6?= =?us-ascii?q?JvjvGo7Vks+7y/2+94fcbglUmTaxe69+IAmrpgjNq8cahpdvJLwswRXTuHtIfO?= =?us-ascii?q?pWxWJsJV2Nmhv3+9m98p1+/SlOovwt78FPX7n0cKQ+VrxYES8pM3sp683xtBnM?= =?us-ascii?q?VhWA630BWWgLiBVIAgzF7BbnXpfttybxq+Rw1DWGMcDwULs5Qiqp4bt1RxD0iS?= =?us-ascii?q?cHLz85/3/Risxsl6JQvRatqwViz4LIfI2ZMfxzcaTAc9MHXmpBRtheWDBdAo2y?= =?us-ascii?q?aIsPCvAOPeder4Lgo1cDoh+zCQyqCejyyDFHm2X20LU43OQvEQ/I0g8uEc8Qvn?= =?us-ascii?q?vIt9j6LrseXPqvwaXU0TnObfVb0ir95ojSdRAhpOmBU653ccXK10YvDR/FhUiX?= =?us-ascii?q?p4z4OzOV0voCs3KG5OdnT+KvjHUopB9rojiz3Mssj5TJhoYRyl/a7yV13p04Jd?= =?us-ascii?q?K9SEFhYN6kFIFcuD2dN4tzW84vRXxjtig9yr0Do5G7fS4KxYwmxx7ZcfyHcpKH?= =?us-ascii?q?7gjtVOaLOTt5hGhqeLK4hxa160Sv1ur8Vsyy3V1XrSRFisHBu3IC2hDJ98SLVP?= =?us-ascii?q?tw8l2i1DqRzQzf9+NJLVwymKHGMZAu2KQwmYAWsUnbHi/5hkH2jKiOe0Uh4Oeo?= =?us-ascii?q?6uDnbqzhpp+AK4N4kw/+Prksl8CjG+g4PQ8OX2+U+eS4yrLv51H2QLJPjvEuk6?= =?us-ascii?q?nZto7VJdgDq6O7DAJZyJsv5wi/Aju809kUg2MLIE9HdR6bl4TpPkvBIPH8Dfex?= =?us-ascii?q?mVSslzJryujcPr3mGZrCMGLDkKv7cbZ49k5czA4zws5F555KEbwBL/fzVVXwtN?= =?us-ascii?q?zcFBM2Lwu0w+P/BNVnyoweQX6PArOeMK7KrVCH/OcvI+2VaI8RuTb9MOQl6uX1?= =?us-ascii?q?jX45nF8dZbOm0YEWaHC+BPRmIl+WbWDigtcbQi82uV8ZR+XvjBWnWD9XZnC9F4?= =?us-ascii?q?Y9/S1zXImvCIOGQoG2nJSA2j26F9tYfDYVJEqLFCLScI+JQetETT+WJsJ72mge?= =?us-ascii?q?UrKsUZNn0AyqsALgkZJoK+PV/msTspe1h4s93PHaiRxnrW88NM+ayWzYCjwtkw?= =?us-ascii?q?=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0DmAQBa1zZahqpSfUpcGgEBAQEBAgEBA?= =?us-ascii?q?QEIAQEBAYQkdCcHg3+BNpd2ggACgmaHDo9ACiOFGAKEeQdDFAEBAQEBAQEBAQE?= =?us-ascii?q?SAQEBCAsLCCgvgjgkgkcBAQEBAgEjHQEbEgwDAQsGBQQHDQ0dAgIiAREBBQEKE?= =?us-ascii?q?gYTEgKJfQEDDQgQnCdAjBCCBQUBHIMLBYNbChknAwpZgk0BAQEBBgEBAQEBARo?= =?us-ascii?q?CBhKDXIIOhmuDIwyCG4JogmMFgS0BhkVsDIpEkAsCgWKGHYdchVGCFmOFMItKj?= =?us-ascii?q?RuJSRQFH4EXDyeBcTIaI1EyUoElCYIRKg8QDIIFIzeKQAEBAQ?= X-IPAS-Result: =?us-ascii?q?A0DmAQBa1zZahqpSfUpcGgEBAQEBAgEBAQEIAQEBAYQkdCc?= =?us-ascii?q?Hg3+BNpd2ggACgmaHDo9ACiOFGAKEeQdDFAEBAQEBAQEBAQESAQEBCAsLCCgvg?= =?us-ascii?q?jgkgkcBAQEBAgEjHQEbEgwDAQsGBQQHDQ0dAgIiAREBBQEKEgYTEgKJfQEDDQg?= =?us-ascii?q?QnCdAjBCCBQUBHIMLBYNbChknAwpZgk0BAQEBBgEBAQEBARoCBhKDXIIOhmuDI?= =?us-ascii?q?wyCG4JogmMFgS0BhkVsDIpEkAsCgWKGHYdchVGCFmOFMItKjRuJSRQFH4EXDye?= =?us-ascii?q?BcTIaI1EyUoElCYIRKg8QDIIFIzeKQAEBAQ?= X-IronPort-AV: E=Sophos;i="5.45,418,1508796000"; d="scan'208,217";a="248654460" Received: from mail-ot0-f170.google.com ([74.125.82.170]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 17 Dec 2017 21:49:14 +0100 Received: by mail-ot0-f170.google.com with SMTP id d5so11864144oti.3 for ; Sun, 17 Dec 2017 12:49:14 -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; bh=9MrWd2/WpQrMewO91Y8QMyzXFfTw5l8OSd9mlLrvfb0=; b=cWBaMKrLsrVQkpQ3MIFf54YXdQmiEUft6b01+1SkySA3T/7HKDa9QieAKdKWogTnml SNHmd5QNZDyxpOg9LRuVhYFG3f8Gj4T1ITQQmMaZ7wSUd+2eOhuD2oFTTekC2OaF2uFQ LgKfrBuuz3F17mn4JFGhQ4njsXO0QSt0sU5ga7fNXfdGkD8g3W7EvsQQ87/MfOCAmKhF o5Lmtrpj4gYk4j9IC3k8N9L4NbNh0pI/OePRsiV/g+1UZTJpe1dy5mPOiWAugO+FIsx9 fpsb30X5UnDchNotalC6qw8nRxIMcm+xBskROHZOatjbY2DTGe+SRY1LekTNJzzQJfIB U29A== 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=9MrWd2/WpQrMewO91Y8QMyzXFfTw5l8OSd9mlLrvfb0=; b=lP97DWquJELjC6jWkgFhPC+IZp9F6oZB9A6tZTyOMpzzxMvQgw7l6ujaVwhwER/C5q +RfUIMzyRduPEtLMoeFjNcTBiRwbPNDsy+4xDhkdiUHn8G3uZLTvnsVmiwgTD68mkkYf 6nkxmw7wrMXjfBe6r/t24B5QAQkSn+aO3GX7g9e7kq+gC+y2AZ3BVF2FmyPvsvM+fJv9 ThqCHnHCPQ2j+hvsZsRZNqa7s7F4KNXlsy4HWEqSOXANcxY5sq0AnP3DWMrO2e+sOWRF +BXNdvmv+X2z1NLTXJvZ6Yqe+wfIqfBCxr5B+mIc9i5OkP8bSNtaWrNanNvmkITeydEV G1TA== X-Gm-Message-State: AKGB3mIbIdDwITpZa/FqvciUi7ZAKFK96qif6ly28yT+sAPwffnRf1yV bnVBaV7ZB9L2lPmykMZQcXUF0W2TlENZNpOHq2E= X-Google-Smtp-Source: ACJfBovnG0crB2yoYiigWUkxcpsjLcJgsuxC3oF42cNEXBduwdNv8lCtU5RHySwj1oJPehwbKdAoyCkoh0Oa9baIOSU= X-Received: by 10.157.74.83 with SMTP id d19mr4046498otj.361.1513543752294; Sun, 17 Dec 2017 12:49:12 -0800 (PST) MIME-Version: 1.0 Received: by 10.74.171.201 with HTTP; Sun, 17 Dec 2017 12:49:11 -0800 (PST) In-Reply-To: <20171217201356.djjygim6oelagvt6@matica.foolinux.mooo.com> References: <20171211095444.75abacda@zinid.ru> <20171217201356.djjygim6oelagvt6@matica.foolinux.mooo.com> From: Robert Muller Date: Sun, 17 Dec 2017 15:49:11 -0500 Message-ID: To: Ocaml Mailing List Content-Type: multipart/alternative; boundary="94eb2c093942b5256e05608f5d19" Subject: Re: [Caml-list] ReasonML concrete syntax --94eb2c093942b5256e05608f5d19 Content-Type: text/plain; charset="UTF-8" On Sun, Dec 17, 2017 at 3:13 PM, Ian Zimmerman wrote: > On 2017-12-17 17:55, Paolo Donadeo wrote: > > > So, actually, why caring about the syntax of another language? > > Because, being backed by FB, Reason will _become_ the normal Ocaml, and > even those who dislike it will in practice be forced to use it. That is > the core of this disagreement. > Exactly! Reason may be great, but OCaml is effectively being expropriated by a huge, powerful organization. Reason is presently just an "alternate syntax" but if it's successful, OCaml could easily devolve into an obscure early intermediate language in a Reason compiler. 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. RM > > Honestly I don't understand this argument. Someone out there created > > another (concrete) syntax for OCaml. If you like it use it otherwise > > let them alone. > > But _you_ won't be "let alone" for long. > > > My point was that there is a huge difference between "I don't like > > ReasonML syntax" and "ReasonML users are idiots". > > Yes, I agree. I'm completely with the former, but I never said the > latter nor do I support it. Nonetheless there are many people who are > no idiots but whose choices I reflexively reject. (My first post in > this thread provides some context.) > > -- > Please don't Cc: me privately on mailing lists and Usenet, > if you also post the followup to the list or newsgroup. > To reply privately _only_ on Usenet, fetch the TXT record for the domain. > > -- > 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 > --94eb2c093942b5256e05608f5d19 Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable


On Sun, Dec 17, 2017 at 3:13 PM, Ian Zimmerman <itz@very.loosely.or= g> wrote:
= On 2017-12-17 17:55, Paolo Donadeo wrote:

> So, actually, why caring about the syntax of another language?

Because, being backed by FB, Reason will _become_ the normal Ocaml, = and
even those who dislike it will in practice be forced to use it.=C2=A0 That = is
the core of this disagreement.

Exactly!= Reason may be great, but OCaml is effectively being expropriated by a huge= , powerful organization. Reason is presently just an "alternate syntax= " but if it's successful, OCaml could easily devolve into an obscu= re early intermediate language in a Reason compiler.

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 t= here are ample opportunities for unrepairable mistakes.

RM


> Honestly I don't understand this argument. Someone out there creat= ed
> another (concrete) syntax for OCaml. If you like it use it otherwise > let them alone.

But _you_ won't be "let alone" for long.

> My point was that there is a huge difference between "I don't= like
> ReasonML syntax" and "ReasonML users are idiots".

Yes, I agree.=C2=A0 I'm completely with the former, but I never = said the
latter nor do I support it.=C2=A0 Nonetheless there are many people who are=
no idiots but whose choices I reflexively reject.=C2=A0 (My first post in this thread provides some context.)

--
Please don't Cc: me privately on mailing lists and Usenet,
if you also post the followup to the list or newsgroup.
To reply privately _only_ on Usenet, fetch the TXT record for the domain.
--
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

--94eb2c093942b5256e05608f5d19--