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 BDB7482355 for ; Wed, 13 Dec 2017 10:29:04 +0100 (CET) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=xramtsov@gmail.com; spf=Pass smtp.mailfrom=xramtsov@gmail.com; spf=None smtp.helo=postmaster@mail-lf0-f49.google.com Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of xramtsov@gmail.com) identity=pra; client-ip=209.85.215.49; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="xramtsov@gmail.com"; x-sender="xramtsov@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of xramtsov@gmail.com designates 209.85.215.49 as permitted sender) identity=mailfrom; client-ip=209.85.215.49; receiver=mail3-smtp-sop.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 (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-lf0-f49.google.com) identity=helo; client-ip=209.85.215.49; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="xramtsov@gmail.com"; x-sender="postmaster@mail-lf0-f49.google.com"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3ANRbqlxbJnf5+kJJsE01nS3f/LSx+4OfEezUN459i?= =?us-ascii?q?sYplN5qZoM+4bnLW6fgltlLVR4KTs6sC17KP9fi4EUU7or+5+EgYd5JNUxJXwe?= =?us-ascii?q?43pCcHRPC/NEvgMfTxZDY7FskRHHVs/nW8LFQHUJ2mPw6arXK99yMdFQviPgRp?= =?us-ascii?q?OOv1BpTSj8Oq3Oyu5pHfeQpFiCagbb9oMBm6sRjau9ULj4dlNqs/0AbCrGFSe+?= =?us-ascii?q?RRy2NoJFaTkAj568yt4pNt8Dletuw4+cJYXqr0Y6o3TbpDDDQ7KG81/9HktQPC?= =?us-ascii?q?TQSU+HQRVHgdnwdSDAjE6BH6WYrxsjf/u+Fg1iSWIdH6QLYpUjmk8qxlSgLniD?= =?us-ascii?q?0fOjA38G/ZlNF+gqFZrxKvoBJwzJLbbo6OOfpifK7QZ88WSHBdUspPUSFKH4Oy?= =?us-ascii?q?b5EID+oEJetWoJf9p1QQohu4BQinGebhyj9ShnDs2K06z/8hEQbY3Ac9GN8Pv2?= =?us-ascii?q?7Uo8/wNKcOSuC1y7fIwC7Mb/NTwzj96YzIfgo9rvGLWLJ9aMzcwlQsGQPdllic?= =?us-ascii?q?t5DpMjeP2ukOs2WX9fRsWf+vhmI9pAx8piCjy8YyhoXTm44YyV7J+T9kzIorJd?= =?us-ascii?q?C0UlB3bNCnHZZWqiqULZF5Qtk4TGFtoCs6yqMJuZq8fCUSzZQo3R/fa/ief4iM?= =?us-ascii?q?7BLvSP+dITl3iX9hYr6/iBGy8U+vyu34SMa4ykpFri1AktXUt3AN0QLc6tSfR/?= =?us-ascii?q?dj4kus3SyD2gPT5+1eP0w4iKrWJ4Quz7M0jpYTtF7MHi7ymEX4lq+WcUAk9/Cn?= =?us-ascii?q?6uT9eLrmo4OcN5RzigHgKakulcm/Dv45MggKRWSU5eO81Lj78U3jXLpKluE2kr?= =?us-ascii?q?XesJ3COcsUvKu5AwtM3oYn6ha/FCum3c8DnXgHKVJFYAiIg5LoO1HIOvD4DO2w?= =?us-ascii?q?j06ikDdxlLj6OejqC5DJa3zCi6vJfLBn6kcaxhBg48pY4sd5FL4MJuO7eU/rvd?= =?us-ascii?q?nEFRgne1ik2e/iFM56yKsRXGuOBumSN6aE4gzA3f4mP+TZPNxdgz36MfVwv/M?= =?us-ascii?q?=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0CEAQAf8jBahjHXVdFdGwEBAQEDAQEBC?= =?us-ascii?q?QEBAYQZgSadKUQBAQaBMYlsjzoKhTsChQ9DFAEBAQEBAQEBAQESAQEBCAsLCCg?= =?us-ascii?q?vgjgigkoBAgIBOgYBGx4DAQsGBSETEg8UEQEFAQIaGYoPAQMIBQgEnCRAjhUFA?= =?us-ascii?q?RyDCwWDYgoZJw1Zgj8BAQEBBgEBAQEcAgYJAQiDToILgQ6FXIMvgjqFLAWTJI9?= =?us-ascii?q?7lRoNgX0BigRfhweWOQYCCQgUJIEXNoFwTCMVOoIpgkMfgXZ1ikUBAQE?= X-IPAS-Result: =?us-ascii?q?A0CEAQAf8jBahjHXVdFdGwEBAQEDAQEBCQEBAYQZgSadKUQ?= =?us-ascii?q?BAQaBMYlsjzoKhTsChQ9DFAEBAQEBAQEBAQESAQEBCAsLCCgvgjgigkoBAgIBO?= =?us-ascii?q?gYBGx4DAQsGBSETEg8UEQEFAQIaGYoPAQMIBQgEnCRAjhUFARyDCwWDYgoZJw1?= =?us-ascii?q?Zgj8BAQEBBgEBAQEcAgYJAQiDToILgQ6FXIMvgjqFLAWTJI97lRoNgX0BigRfh?= =?us-ascii?q?weWOQYCCQgUJIEXNoFwTCMVOoIpgkMfgXZ1ikUBAQE?= X-IronPort-AV: E=Sophos;i="5.45,397,1508796000"; d="scan'208";a="248195243" Received: from mail-lf0-f49.google.com ([209.85.215.49]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 13 Dec 2017 10:29:03 +0100 Received: by mail-lf0-f49.google.com with SMTP id 94so1826741lfy.10 for ; Wed, 13 Dec 2017 01:29:03 -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=7r6njgAOVl1VuLo1rAyiNjDdB5xexxRJSZEKfdcX1iQ=; b=Zea2vcAWxoQCprba9j2bTLnXEqfhTaa+CHyl4IGWGDX9Sq88sAaPwzWLSl7lqGu79h QPlqbITSuwx9D0t12mKZdrCJX/58evXIZ1Y3c6uMdh/QtWK1pC6v7nMmp5UJtpvuU9Qw IY+8IBCOnbOR1OpLhv+ZGL2FTLJnbwVFVmTSLhQEiUBcJavd71i+H6BK1dvaX4izFRZu KkTMQGS6HSnLMdOzfORElJktvBl4X1lTZ5UEtLaSy6pOEnh33dP41S3WNfhxd0B20RVK jn4coq/utt4YuXATHtNa2EdJsqXeS7xDqXB2GDeHISu3E0cT7GtICc7mM+seuc7qGjxu 4eRA== 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=7r6njgAOVl1VuLo1rAyiNjDdB5xexxRJSZEKfdcX1iQ=; b=ROC9aGGjjaQ8V1vo+9zgSkbCTICmrMq1Dg8CgEbSHwA+1poAQzYr5cfWk202bFFINZ Ftfp9BOdm0lsoYJGrB1HMBm9C3ZfYRd+E6mdYx6nyt2Idl21SU4MwH9yPtuKBDb4kuMb Oo1qOVfhlWS5lI2JfBiAo+clM8JdM+nc9+p5Pi09pxgH2yelXaqANAxoAK9p7CTd4tVv gSJECw+LIbsGG40w9oVn1hA7YsPC86OpW9uH1jEBH8C5f1HBwKGpRSrOXZKo2WCBcieQ 22eCUnapVbS+GTknnJzuZdLhnw53GYhO+UjDnPt1+J6HltkQWiUlf8WD1H/MOdhiVwpa Xo1w== X-Gm-Message-State: AKGB3mLQ1PNonACG3dXAa6JkTzpA2OC2hoQcS9sUJsL74fsWfdnVqKgy K5cuMXeiZA2JXeqFY+AfxVVblQ== X-Google-Smtp-Source: ACJfBovOmu0efTFqNE0JVmjbaO6cOYUobCpJEqlFbsrYa7WaWOlWLGvPawc17LHblks9fnFWbCWEjw== X-Received: by 10.25.145.7 with SMTP id t7mr1113066lfd.103.1513157342582; Wed, 13 Dec 2017 01:29:02 -0800 (PST) Received: from zinid.ru ([62.183.125.238]) by smtp.gmail.com with ESMTPSA id t25sm200423lja.92.2017.12.13.01.29.00 for (version=TLS1_2 cipher=ECDHE-RSA-CHACHA20-POLY1305 bits=256/256); Wed, 13 Dec 2017 01:29:01 -0800 (PST) Date: Wed, 13 Dec 2017 12:26:48 +0300 From: Evgeny Khramtsov To: caml-list@inria.fr Message-ID: <20171213122648.298e7edd@zinid.ru> In-Reply-To: <131064f1-4d53-5fbc-8aa7-0f6210dcb7bd@irisa.fr> References: <6640cb32-fec3-e048-3f40-53d65bae5305@gerd-stolpmann.de> <20171211161024.kafvtxzq3qcoo46p@matica.foolinux.mooo.com> <131064f1-4d53-5fbc-8aa7-0f6210dcb7bd@irisa.fr> 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 Wed, 13 Dec 2017 09:22:05 +0100 Sebastien Ferre wrote: > They have two notations, f(x,y) and f(x)(y), the latter being the > curryfied version allowing partial application. This is too complex for JavaScript developers.