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 31BFE823B6 for ; Mon, 11 Dec 2017 17:07:23 +0100 (CET) Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=sven.sauleau@xtuc.fr; spf=Neutral smtp.mailfrom=sven.sauleau@xtuc.fr; spf=None smtp.helo=postmaster@2.mo64.mail-out.ovh.net Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of sven.sauleau@xtuc.fr) identity=pra; client-ip=178.33.110.194; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="sven.sauleau@xtuc.fr"; x-sender="sven.sauleau@xtuc.fr"; x-conformance=sidf_compatible Received-SPF: Neutral (mail2-smtp-roc.national.inria.fr: domain of sven.sauleau@xtuc.fr does not assert whether or not 178.33.110.194 is permitted sender) identity=mailfrom; client-ip=178.33.110.194; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="sven.sauleau@xtuc.fr"; x-sender="sven.sauleau@xtuc.fr"; 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@2.mo64.mail-out.ovh.net) identity=helo; client-ip=178.33.110.194; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="sven.sauleau@xtuc.fr"; x-sender="postmaster@2.mo64.mail-out.ovh.net"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3A2454bxNxUq6RgYMgnFsl6mtUPXoX/o7sNwtQ0KIM?= =?us-ascii?q?zox0KPz9rarrMEGX3/hxlliBBdydsK0UzbeO+4nbGkU+or+5+EgYd5JNUxJXwe?= =?us-ascii?q?43pCcHRPC/NEvgMfTxZDY7FskRHHVs/nW8LFQHUJ2mPw6aijSI4DUTAhTyMxZu?= =?us-ascii?q?bqSwQ9aKzpeB+e++w7r2K0UV3XvuKY91eSS/sgzL/uATgI0qfrc41RLT5HJNeu?= =?us-ascii?q?J+ymZhJFbVlBH5sJSe5plmph9OtvRpzOd9dYjTQuxsVqJVCnI9On0x6cT2nQnf?= =?us-ascii?q?UADJ6GFKATZeqQZBHwWQtEKyZZz2qCav87Ys1Q=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0BwAAASrC5ah8JuIbJbGwEBAQEDAQEBC?= =?us-ascii?q?QEBAYUYJweDe4sVj1cJmUcKhTsCDIRmQxQBAQEBAQEBAQEBEgEBAQoLCQgoL4I?= =?us-ascii?q?4BQEeBoJBAwMjSgwQCwQ7AwICHycRBg0BBQIBAYooqBaCJyaKPgEBAQEBAQEDA?= =?us-ascii?q?QEBAQEBAQEBAR6DaINhghILgkE2iDSCYwWKYpgvHmmUGoIWhhKLO5ZegTs2gXF?= =?us-ascii?q?zS4IpgmKBdHeIBkQBgRQBAQE?= X-IPAS-Result: =?us-ascii?q?A0BwAAASrC5ah8JuIbJbGwEBAQEDAQEBCQEBAYUYJweDe4s?= =?us-ascii?q?Vj1cJmUcKhTsCDIRmQxQBAQEBAQEBAQEBEgEBAQoLCQgoL4I4BQEeBoJBAwMjS?= =?us-ascii?q?gwQCwQ7AwICHycRBg0BBQIBAYooqBaCJyaKPgEBAQEBAQEDAQEBAQEBAQEBAR6?= =?us-ascii?q?DaINhghILgkE2iDSCYwWKYpgvHmmUGoIWhhKLO5ZegTs2gXFzS4IpgmKBdHeIB?= =?us-ascii?q?kQBgRQBAQE?= X-IronPort-AV: E=Sophos;i="5.45,392,1508796000"; d="scan'208,217";a="304961096" Received: from 2.mo64.mail-out.ovh.net ([178.33.110.194]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 11 Dec 2017 17:07:22 +0100 Received: from ex.mail.ovh.net (gw2.ex.mail.ovh.net [176.31.149.1]) by mo64.mail-out.ovh.net (Postfix) with SMTP id ECEE8BD540; Mon, 11 Dec 2017 17:07:21 +0100 (CET) To: Yawar Amin CC: References: From: Sven SAULEAU Message-ID: <2a2b38dd-0388-13be-12f1-0049a4c0b0d2@xtuc.fr> Date: Mon, 11 Dec 2017 17:07:20 +0100 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:52.0) Gecko/20100101 Thunderbird/52.4.0 MIME-Version: 1.0 In-Reply-To: Content-Type: multipart/alternative; boundary="------------F7F525B63204DE088A82A9C2" Content-Language: en-US X-Originating-IP: [90.63.216.93] X-ClientProxiedBy: CAS05.indiv.local (172.16.1.5) To MBX018.indiv.local (172.16.2.18) X-Ovh-Tracer-Id: 12482289319035798542 X-VR-SPAMSTATE: OK X-VR-SPAMSCORE: -100 X-VR-SPAMCAUSE: gggruggvucftvghtrhhoucdtuddrgedtuddrvdeigdekhecutefuodetggdotefrodftvfcurfhrohhfihhlvgemucfqggfjpdevjffgvefmvefgnecuuegrihhlohhuthemuceftddtnecusecvtfgvtghiphhivghnthhsucdlqddutddtmd X-Validation-by: sven.sauleau@xtuc.fr Subject: Re: [Caml-list] ReasonML concrete syntax --------------F7F525B63204DE088A82A9C2 Content-Type: text/plain; charset="utf-8"; format=flowed Content-Transfer-Encoding: quoted-printable Yawar, Yes, you're right. Once they will get those concepts I hope the syntax isn'= t a blocker anymore. On 11/12/2017 16:51, Yawar Amin wrote: Hi Sven, On Mon, Dec 11, 2017 at 1:50 AM, Sven SAULEAU > wrote: [...] I'm afraid it probably won't, if they are used to the JavaScript syntax. Re= asonml is also meant to be used in the web more than used through OCaml. ReasonML adoption automatically means OCaml adoption, because ReasonML _is_= OCaml. People will be learning about and using HM type inference, modules = and functors, polymorphic variants, and all the good stuff. Don't let the s= yntax fool you ;-) Also, ReasonML itself is meant to target all platforms that OCaml itself ta= rgets. Right now the Reason team is focusing on the JavaScript + React use = case to prove out the technology and appeal to a wide base. But they also u= se jbuilder and opam to target bytecode and native. There are no restrictio= ns. By the way, to the people calling the syntax ugly and its users idiots, ple= ase tone yourselves down and think about why OCaml has been around in a nic= he for 20 years but Rust took off in less than five. Thanks, Yawar -- Sven SAULEAU +33 6 28 69 51 44 --------------F7F525B63204DE088A82A9C2 Content-Type: text/html; charset="utf-8" Content-Transfer-Encoding: quoted-printable

Yawar,

Yes, you're right. Once they will get those concepts I hope the syntax i= sn't a blocker anymore.


On 11/12/2017 16:51, Yawar Amin wrote:
Hi Sven,

On Mon, Dec 11, 2017 at 1:50 AM, Sven SAULEAU <sven.sauleau@xtuc.fr> wrote:

[...]

I'm afraid it probably won't, if they are used to the JavaScript syntax. Re= asonml is also meant to be used in the web more than used through OCaml.

ReasonML adoption automatically means OCaml adoption, because ReasonML= _is_ OCaml. People will be learning about and using HM type inference, mod= ules and functors, polymorphic variants, and all the good stuff. Don't let = the syntax fool you ;-)

Also, ReasonML itself is meant to target all platforms that OCaml itse= lf targets. Right now the Reason team is focusing on the JavaScript + R= eact use case to prove out the technology and appeal to a wide base. But th= ey also use jbuilder and opam to target bytecode and native. There are no restrictions.

By the way, to the people calling the syntax ugly and its users idiots= , please tone yourselves down and think about why OCaml has been around in = a niche for 20 years but Rust took off in less than five.

Thanks,

Yawar

--

Sven SAULEAU

+33 6 28 69 51 44

--------------F7F525B63204DE088A82A9C2--