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 1515882355 for ; Mon, 11 Dec 2017 08:32:21 +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-f52.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.52; 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.52 as permitted sender) identity=mailfrom; client-ip=209.85.215.52; 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-f52.google.com) identity=helo; client-ip=209.85.215.52; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="xramtsov@gmail.com"; x-sender="postmaster@mail-lf0-f52.google.com"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3AngcadxUggdqXrlhGmXm4cqPRoR/V8LGtZVwlr6E/?= =?us-ascii?q?grcLSJyIuqrYZRKGt8tkgFKBZ4jH8fUM07OQ6P+wHzFYqb+681k8M7V0Hycfjs?= =?us-ascii?q?sXmwFySOWkMmbcaMDQUiohAc5ZX0Vk9XzoeWJcGcL5ekGA6ibqtW1aSV3DMl8h?= =?us-ascii?q?Le3wHsvWjt+r/+G04ZzaJQtS0mmTe7R3eTioogjXp4E1gZFrL7oqzQWB9mtScu?= =?us-ascii?q?FK3mR2DV2Wlhf4oMy3+cgwoGxrp/s9+psYAu3BdKMiQOkAAQ=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0CtAwDvMy5ahjTXVdFbGwEBAQEDAQEBC?= =?us-ascii?q?QEBAYU/hAKZHUYGgTGJaY84CoU7AoRiQxQBAQEBAQEBAQEBEgEBAQgLCwgoL0I?= =?us-ascii?q?OAYFnIoJJAQICASMdARseAwELBgUaAgUTDgICDxQRAQUBAhoGE4oPAQMIBQgEm?= =?us-ascii?q?lRAjBCCBQUBHIMKBYNXChknCwJZgk0BAQEHAgEdAgYJAQh9glmCC4EOhVyFa4J?= =?us-ascii?q?JgmMFkx+PcpUUDYF9AYoCX4cEljEGAgkIFCSBFzaBcUwjFTqCKYJDH4F2dQGDI?= =?us-ascii?q?IZGAQEB?= X-IPAS-Result: =?us-ascii?q?A0CtAwDvMy5ahjTXVdFbGwEBAQEDAQEBCQEBAYU/hAKZHUY?= =?us-ascii?q?GgTGJaY84CoU7AoRiQxQBAQEBAQEBAQEBEgEBAQgLCwgoL0IOAYFnIoJJAQICA?= =?us-ascii?q?SMdARseAwELBgUaAgUTDgICDxQRAQUBAhoGE4oPAQMIBQgEmlRAjBCCBQUBHIM?= =?us-ascii?q?KBYNXChknCwJZgk0BAQEHAgEdAgYJAQh9glmCC4EOhVyFa4JJgmMFkx+PcpUUD?= =?us-ascii?q?YF9AYoCX4cEljEGAgkIFCSBFzaBcUwjFTqCKYJDH4F2dQGDIIZGAQEB?= X-IronPort-AV: E=Sophos;i="5.45,391,1508796000"; d="scan'208";a="247875089" Received: from mail-lf0-f52.google.com ([209.85.215.52]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 11 Dec 2017 08:32:20 +0100 Received: by mail-lf0-f52.google.com with SMTP id f18so18018085lfg.8 for ; Sun, 10 Dec 2017 23:32:20 -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=i2MXfYY2mcpbYAJjFc85CebMSOZW9bapU+M61tRGTqU=; b=WzYjalSXAqDv2wzpxWbC7FqCyGEoL0LCtIN/VpTeASAeb2xPSa0lOcpj1lYmpnAEPP 5XvVEgyNkFz6nCFZ+PvpvY7neBUzu+q+AD9qCX0t6Ud8xYnJiLrH+NH41nXg80zO9ov+ GaDhC1cn4SsOy7qRKYOmTKYReVIoSap/IDk7KWla0e0fcRctpjcXP6eEOZwtQUEM04bF KZI1eL07Ok+CihBHuehqKA6ykGDojPqlljweGcqNpDa9qh8rSE/k8Vq4rL538Knz85Qs yktre+n9pc9v4z9K4WEBuHfj3rOHAPZ9JINj6A4jFyPjGxazRloi22vtwcnDo+ZXj/Lh jn1A== 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=i2MXfYY2mcpbYAJjFc85CebMSOZW9bapU+M61tRGTqU=; b=uaLaTD1iEe1J1nEyLUXjVIVeH/4qcxCdSnfFKagafsm5PNR1O5f8moE90+vp+HaIVA sJwa2SABzCx70f8m7yOazZPacKvo6FwVlkQxIDgowXboCYdO3E4mVFKtmpmthonA6jwX UDj4paIDg5DTdZj7undlrvPDSrdzKpXjksOUrC7S3uJnZrJYOSYn2iwqnBbhm5eLyQ1T 1+Hv5+bxXPuuwpsLNGZnJZON2Wy89yqF9gzaH7Dw/XkChPxw9Oa6ByNb6Nn2TVygPHMC 5iBHs7F6gu6e1gTz4ZkUzRLPhd8LHKlfvu0/B10jx8Og8lgmftdqmTfVZG/LAUB6+DI4 FXCg== X-Gm-Message-State: AKGB3mISnH84MlgpUI5JseYbOV3WausMeNtyjl9qZbFwxAPe5A9xdI7J nISf8cLZ982SOiqX1ylwwWGCQg== X-Google-Smtp-Source: ACJfBouy+3o8F6xfAqRa/g6iyS/BY/1Ku03sJuhhxKPP3M/yoBJ1bmqqx1tmtM+gbK8Q2BbrvLAI0g== X-Received: by 10.46.89.2 with SMTP id n2mr2638602ljb.149.1512977539016; Sun, 10 Dec 2017 23:32:19 -0800 (PST) Received: from zinid.ru ([178.34.35.135]) by smtp.gmail.com with ESMTPSA id s66sm2699699lje.40.2017.12.10.23.32.17 for (version=TLS1_2 cipher=ECDHE-RSA-CHACHA20-POLY1305 bits=256/256); Sun, 10 Dec 2017 23:32:17 -0800 (PST) Date: Mon, 11 Dec 2017 10:16:06 +0300 From: Evgeny Khramtsov To: Message-ID: <20171211101606.64e5829e@zinid.ru> In-Reply-To: References: <20171211095444.75abacda@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=UTF-8 Content-Transfer-Encoding: quoted-printable Subject: Re: [Caml-list] ReasonML concrete syntax Mon, 11 Dec 2017 15:22:14 +0800 "Bob" wrote: > but I understand it=E2=80=99s intention to use a more familiar function > application syntax Well, I understand this too, but this doesn't change my opinion.