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 3DAF782355 for ; Mon, 18 Dec 2017 18:54:02 +0100 (CET) Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=xramtsov@gmail.com; spf=Pass smtp.mailfrom=xramtsov@gmail.com; spf=None smtp.helo=postmaster@mail-lf0-f50.google.com Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of xramtsov@gmail.com) identity=pra; client-ip=209.85.215.50; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="xramtsov@gmail.com"; x-sender="xramtsov@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of xramtsov@gmail.com designates 209.85.215.50 as permitted sender) identity=mailfrom; client-ip=209.85.215.50; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="xramtsov@gmail.com"; x-sender="xramtsov@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-lf0-f50.google.com) identity=helo; client-ip=209.85.215.50; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="xramtsov@gmail.com"; x-sender="postmaster@mail-lf0-f50.google.com"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3A5JRDQxdnX9gcHbl4MJZo3hp6lGMj4u6mDksu8pMi?= =?us-ascii?q?zoh2WeGdxcu5Zh7h7PlgxGXEQZ/co6odzbaO6ua4ASQp2tWoiDg6aptCVhsI24?= =?us-ascii?q?09vjcLJ4q7M3D9N+PgdCcgHc5PBxdP9nC/NlVJSo6lPwWB6nK94iQPFRrhKAF7?= =?us-ascii?q?Ovr6GpLIj8Swyuu+54Dfbx9HiTahfL9+Ngm6oRnMvcQKnIVuLbo8xAHUqXVSYe?= =?us-ascii?q?RWwm1oJVOXnxni48q74YBu/SdNtf8/7sBMSar1cbg2QrxeFzQmLns65Nb3uhnZ?= =?us-ascii?q?TAuA/WUTX2MLmRdVGQfF7RX6XpDssivms+d2xSeXMdHqQb0yRD+v6bpgRh31hy?= =?us-ascii?q?cdLzM3/mHZhNJtgqxYoh2hqRtxzIHIb4+aL/d+YqHQcMkGSWdbQspdSSpMCZ68?= =?us-ascii?q?YYsVCOoBOP5VoYbjp1sBsxS+AwmtD/7qxD9InH/5x6g60/g6EQHBwgwrAtUDsX?= =?us-ascii?q?vOrNrvMacSTfu1zK7WzTjYYPNW3C3y6InMchw7vf6MWrdwfNPXxEIyFA3Flk2d?= =?us-ascii?q?pZL5Mz6RzOgAsGiW4/B+We6yi2MrsQF8riS3ysoil4XFnJ8Zx1PZ+Slj3oo4Kt?= =?us-ascii?q?61RFRlbdK6E5ZdsTyROZFsTcM4WW5ovT43yr0Ytp6/eygH0JEnyATea/yDaoSI?= =?us-ascii?q?5hzjWPqILTd2hH9pZKizhxm18Uinxe38Ute73ExWoSpCl9nArnEN1xrN5cibUv?= =?us-ascii?q?Zx4Fut1DKV2w3Q6uxIO144mbfbJpI7wrM8ioIfsUHZES/3nEX2grWWdkIh+uWw?= =?us-ascii?q?5OXneK/pppqAN49vjQH+LL8jmsO6AesiMwgOW3KX9vi71L3m5UH5WqlFjuUqkq?= =?us-ascii?q?nFt5DXPdgUqbS8Aw9Ry4oj7xe/Dyy60NkDhnkGLFdFeAqdgITzOlHOJur4Dfal?= =?us-ascii?q?jFi2njdr3aOOArq0CZzIKj3Hkaz9Vbd78U9VjgQpnv5F4JcBJ68OLfTiEmzxrt?= =?us-ascii?q?XdEgQ+LUTg0/zuDclm0Z02VmeGA6vfO6TX5wzbrtkzKvWBMddG8A32LOIosqbj?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0DcAwDI/zdahjLXVdFcHQEBBQELAYU/n?= =?us-ascii?q?S9FAQEGgTOZNgqCAYM6AoUHQxQBAQEBAQEBAQEBEgEBAQgLCwgoL0IBBAkBgWc?= =?us-ascii?q?igkoBBAE6BgEbEQ0DAQsGBSETEg8SAhEBBQECGhkUBYl4AQMIBQgEnWVAjhUFA?= =?us-ascii?q?RyDCwWDWgoZJw1Zgk0BAQEBBgIBHQIGCQEIg1yCDoEOgjGCHoEOgmpFgjqFLAW?= =?us-ascii?q?KaohBj1Q9kC6EcQ2MBF+HEI1ZiHIGAgkIFCSBFzaBcUwjFTyCKYJEH4F2dQGBK?= =?us-ascii?q?oIehk4BAQE?= X-IPAS-Result: =?us-ascii?q?A0DcAwDI/zdahjLXVdFcHQEBBQELAYU/nS9FAQEGgTOZNgq?= =?us-ascii?q?CAYM6AoUHQxQBAQEBAQEBAQEBEgEBAQgLCwgoL0IBBAkBgWcigkoBBAE6BgEbE?= =?us-ascii?q?Q0DAQsGBSETEg8SAhEBBQECGhkUBYl4AQMIBQgEnWVAjhUFARyDCwWDWgoZJw1?= =?us-ascii?q?Zgk0BAQEBBgIBHQIGCQEIg1yCDoEOgjGCHoEOgmpFgjqFLAWKaohBj1Q9kC6Ec?= =?us-ascii?q?Q2MBF+HEI1ZiHIGAgkIFCSBFzaBcUwjFTyCKYJEH4F2dQGBKoIehk4BAQE?= X-IronPort-AV: E=Sophos;i="5.45,422,1508796000"; d="scan'208";a="306011458" Received: from mail-lf0-f50.google.com ([209.85.215.50]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 18 Dec 2017 18:54:01 +0100 Received: by mail-lf0-f50.google.com with SMTP id f20so18747369lfe.3 for ; Mon, 18 Dec 2017 09:54:01 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=date:from:to:subject:message-id:in-reply-to:references:mime-version :content-transfer-encoding; bh=7Ye82NcRR8ADiN++XJpIXVVpOatfD33BVuh++6fYtC4=; b=TkV7gDh3QhbbVk7j4+LS6iKXSgmsKWMKVCjmInO1rCe/U1wIcCX5T3YXShQR11iJMN wyQvSgce0jjT2bkkfJr35CYWodfUJb0CC1DFDxVlG7U+DPrkrSArsRqRimPJQ5oI2Ulh qfTtyl0nv+74RI7oObP828QX5aAcOsfZonLT3CsRS0lebbRJZd/DHqrVYSL3eyTpi0qV iA1EpunqeAINS5CQDa/GV9k5CR0tlK2vdkZ8H77JdDPt5XPmzHDG+/xF9PY2awrLnwC7 esijZwfutjEkdy8OwLTP9IFJuPMjlBrTuGypgNBT6osy9KugxuIL1aIJp/YwTc4qTqWg BoRw== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:date:from:to:subject:message-id:in-reply-to :references:mime-version:content-transfer-encoding; bh=7Ye82NcRR8ADiN++XJpIXVVpOatfD33BVuh++6fYtC4=; b=GtjuaJr5P+Mc+OfjRvOj3pZ99zv0hCbhymr96DrkVcxQzmm+MRxDHQ3xm4VTSVs0f9 75e+MKEYy/TAtZPQZ4HnUBkRL5D+XMCrcc27LOqNF8sZyy5z8IHduJEozOfQJkfuUXzL kLxV6SacKk47HA9RUbFNVpaFT024j6r959T+jmH/cZhoV96eMRM5/55VrMaC2PvGzksK b1Cu7oP67quoJ2QkNg1Cpy8UR26JryezMDDeKzUdRftRhjj0MHn94TsNr5IQf2uEhgow /l2jPFz0h4uJKrDuCTJFptWkwz21pnF0FXn9ziSsrANPkWqlUBDisA1QaglB+HDouwcH Jc6w== X-Gm-Message-State: AKGB3mKD/NBJw2kjXqbrPVmBst2xGfBtbP5+XRWF+Ipygm++XC8LGINZ o8dnQSEesO6kufBjuthqsYlopg== X-Google-Smtp-Source: ACJfBotsQzctIb5XIbxYugRq182vXXhOk0tsZlAAm+IdfKhZ3pfUrWoRSmB59kjXndIbsd3rG5QxFw== X-Received: by 10.46.89.196 with SMTP id g65mr461353ljf.53.1513619640421; Mon, 18 Dec 2017 09:54:00 -0800 (PST) Received: from zinid.ru ([31.181.248.228]) by smtp.gmail.com with ESMTPSA id d13sm1180542lfl.97.2017.12.18.09.53.58 for (version=TLS1_2 cipher=ECDHE-RSA-CHACHA20-POLY1305 bits=256/256); Mon, 18 Dec 2017 09:53:58 -0800 (PST) Date: Mon, 18 Dec 2017 20:53:27 +0300 From: Evgeny Khramtsov To: caml-list@inria.fr Message-ID: <20171218205327.1d7b7fac@zinid.ru> In-Reply-To: References: <20171211095444.75abacda@zinid.ru> <20171217201356.djjygim6oelagvt6@matica.foolinux.mooo.com> <20171218193605.05d83846@zinid.ru> X-Mailer: Claws Mail 3.13.2 (GTK+ 2.24.22; x86_64-pc-linux-gnu) MIME-Version: 1.0 Content-Type: text/plain; charset=US-ASCII Content-Transfer-Encoding: 7bit Subject: Re: [Caml-list] ReasonML concrete syntax Mon, 18 Dec 2017 17:00:33 +0000 Jesper Louis Andersen wrote: > FWIW, I think the Erlang community is greatly benefiting from the > Elixir community and vice versa. I'd hope the same thing happens with > ReasonML and OCaml. I disagree. Those requests in my bugtracker "Make it work with Elixir" are annoying. > Elixir got a pretty firm ground to stand on since you have many years > of (industrial) backing in the Erlang ecosystem. But a lot of the > better improvements in the quality-of-life of a programmer is a > direct result of Elixir's core team wanting to improve notation, > error reporting and so on for the developer. These changes are > definitely improving Erlang as well. I don't see this as an improvement to Erlang. This can be considered by some as an improvement *over* Erlang, but in fact Elixir community doesn't bring anything back. I'm maintaining software with around 20 dependencies, none of them are in Elixir. > I think it is wrong to see these things as "wars". People, when > programming, are subjective and prefer different notations. I've > always been partial to statically typed ML languages such as OCaml > and Standard ML, and I find their notation more clear than e.g., the > Erlang or Haskell notation[0]. But judging by people in general, > '{' / '}' bracketed notation stemming from a language such a C looks > to be extremely popular and familar to people. To the point where > "Erlang syntax is ugly", in which as much is misunderstood about its > semantics as are its syntax. My point is actually the syntax doesn't matter a lot. There are really great underrated languages because of this bias (Red/System is such an example, where the code `f x (g y)` could be written as `f x g y`, i.e. without brackets at all). But I have a problem learning new syntax just to appease the majority. And seems like now I have to do this, simply because the job market has changed. What if I say you must learn Reason, like it or not? > The key point is that you have a large group of programmers, mostly > Javascript, Python or Ruby people, who would never ever pick up > Erlang due to its syntax. But they'll gladly pick Elixir as their > core language. All we have to teach them is proper error handling > Erlang/OTP style and they'll easily give back to the community at > large. If there are a good argument for diversity in an ecosystem, > this is really it. Yah, like, increasing userbase on 2%. Sounds great :) > [0] I may be "Erlang user of the year, 2017", and have many years of > Erlang experience, but I've always lamented that the language has no > static type system. Lacking the type system is definitely one of the main disadvantages of Erlang (or Elixir), I agree.