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 D3F4A82355 for ; Wed, 13 Dec 2017 17:38:39 +0100 (CET) Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=marshall@logical.net; spf=Pass smtp.mailfrom=marshall@logical.net; spf=None smtp.helo=postmaster@smtp486.redcondor.net Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of marshall@logical.net) identity=pra; client-ip=208.80.204.86; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="marshall@logical.net"; x-sender="marshall@logical.net"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of marshall@logical.net designates 208.80.204.86 as permitted sender) identity=mailfrom; client-ip=208.80.204.86; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="marshall@logical.net"; x-sender="marshall@logical.net"; 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@smtp486.redcondor.net) identity=helo; client-ip=208.80.204.86; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="marshall@logical.net"; x-sender="postmaster@smtp486.redcondor.net"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3ApbG2WhwZu0PsaKXXCy+O+j09IxM/srCxBDY+r6Qd?= =?us-ascii?q?1OkVIJqq85mqBkHD//Il1AaPAd2Craocw8Pt8InYEVQa5piAtH1QOLdtbDQizf?= =?us-ascii?q?ssogo7HcSeAlf6JvO5JwYzHcBFSUM3tyrjaRsdF8nxfUDdrWOv5jAOBBr/KRB1?= =?us-ascii?q?JuPoEYLOksi7ze+/94HObwlSmDaxfa55IQmrownWqsQYm5ZpJLwryhvOrHtIeu?= =?us-ascii?q?BWyn1tKFmOgRvy5dq+8YB6/ShItP0v68BPUaPhf6QlVrNYFygpM3o05MLwqxbO?= =?us-ascii?q?SxaE62YGXWUXlhpIBBXF7A3/U5zsvCb2qvZx1S+HNsDwULs6Wymt771zRRD0hy?= =?us-ascii?q?gJKj43/2PZhMJ/j6xbrgyvqRtkzo7IeYGVMeZyfqPBcd4YQ2dKQ8ZfVzZGAoO5?= =?us-ascii?q?d4YBCPAOPfxDr4n9vVQOqR++DhSrCePq0DBInGT23a0g3OQlFQHLxwggH9UBsH?= =?us-ascii?q?TVsNr6LqMSXfqzzKbW0TXOdvVb0ir+5ojQah0tv+2AULFqfcfS1UUjDR3Jgkmf?= =?us-ascii?q?pID/PD6Y1/wBvmqG4+Z6Wu+ii3QrpxxxrzS128shjojEi4QIwV7e7yp52pw6Jd?= =?us-ascii?q?igRU57f9GkFJxQujmBN4tzXsMiW25ltSU7x7Eco560YjUFx4ggxx7ZdvOHdJKI?= =?us-ascii?q?7gjlVOmPPTd0nHNleLShiBau6UWs1PHwW8qu3FtJsiZJiMfAumwC2hDJ6cWKS+?= =?us-ascii?q?Nx/kK71jaO0wDT5PtEIUcxlafDLp4u2KQwloETsUvZGi/2nF77jKuRdkUr++in?= =?us-ascii?q?9/7oYrH8qp+aKYB0lhnyMr4ylcynHeQ4Lg8OUnCH9uum0b3j+VT1QLFLjv0tjq?= =?us-ascii?q?nUq4vaJMQepq6hGQBZyIcj6xClDzenytsUh3cHLEgWMC6A2sLiMlTKZfT5FuuX?= =?us-ascii?q?glK2kT4tyeqMdunqC5DJa3zCi6vJfLBn6kcaxhBlnv5F4JcBL7gbO/L6Xku54N?= =?us-ascii?q?nRFAQ5Ogiw6+LgB9R234dYX2+TVPzKeJjOuEOFs7p8a9KHY5UY7W7w?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0AkBAAGVjFah1bMUNBdGgEBAQEBAgEBA?= =?us-ascii?q?QEIAQEBAYQncSeEApkmgX2ZJgqFOwKFE0QTAQEBAQEBAQEBARIBAQEIDQkIKCQ?= =?us-ascii?q?LgjgigkkBAQEBAgEjShELCxgCAiYCAlcGExqKBggFqHWCJ4peAQEBBwEBAQEBA?= =?us-ascii?q?QEhgQ+CUYILgVWCE4MCgy+BboMVMYIyBZMoj3eDIZQDghGIBYdVkyODQ4E7N4F?= =?us-ascii?q?vTC4KOioBgX4/giOCElmKOgEBAQ?= X-IPAS-Result: =?us-ascii?q?A0AkBAAGVjFah1bMUNBdGgEBAQEBAgEBAQEIAQEBAYQncSe?= =?us-ascii?q?EApkmgX2ZJgqFOwKFE0QTAQEBAQEBAQEBARIBAQEIDQkIKCQLgjgigkkBAQEBA?= =?us-ascii?q?gEjShELCxgCAiYCAlcGExqKBggFqHWCJ4peAQEBBwEBAQEBAQEhgQ+CUYILgVW?= =?us-ascii?q?CE4MCgy+BboMVMYIyBZMoj3eDIZQDghGIBYdVkyODQ4E7N4FvTC4KOioBgX4/g?= =?us-ascii?q?iOCElmKOgEBAQ?= X-IronPort-AV: E=Sophos;i="5.45,397,1508796000"; d="scan'208";a="305339587" Received: from smtp486.redcondor.net ([208.80.204.86]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/AES256-SHA256; 13 Dec 2017 17:38:38 +0100 Received: from outbound2.logical.net ([209.23.116.122]) by smtp486.redcondor.net ({6695537a-536a-45f9-a249-877c85428649}) via TCP (outbound) with ESMTPS id 20171213163833971_0486 for ; Wed, 13 Dec 2017 16:38:33 +0000 X-RC-FROM: X-RC-RCPT: Received: from [192.168.2.4] (71-45-15-196.res.bhn.net [71.45.15.196] (may be forged)) (authenticated bits=0) by outbound2.logical.net (8.14.4/8.14.4) with ESMTP id vBDGcQHx008242 for ; Wed, 13 Dec 2017 11:38:27 -0500 Content-Type: text/plain; charset=utf-8 Mime-Version: 1.0 (Mac OS X Mail 9.3 \(3124\)) From: Marshall In-Reply-To: Date: Wed, 13 Dec 2017 10:38:28 -0600 Content-Transfer-Encoding: quoted-printable Message-Id: <7BE82AAB-9F65-49E4-B9A8-69FCC5719253@logical.net> References: <6640cb32-fec3-e048-3f40-53d65bae5305@gerd-stolpmann.de> <20171211161024.kafvtxzq3qcoo46p@matica.foolinux.mooo.com> <131064f1-4d53-5fbc-8aa7-0f6210dcb7bd@irisa.fr> <20171213122648.298e7edd@zinid.ru> To: "caml-list@inria.fr" X-Mailer: Apple Mail (2.3124) X-MAG-OUTBOUND: logical.redcondor.net@209.23.116/24 Subject: Re: [Caml-list] ReasonML concrete syntax > On Dec 13, 2017, at 4:37 AM, David Allsopp wrote: >=20 > In terms of why you might want to be "hiding" currying, or at least makin= g it need less immediate explanation when learning the language, consider, = for example, explaining the difference between: >=20 > let f x y =3D print_int x; print_int y in > f 42 >=20 > and >=20 > let f x =3D print_int x; print_int in > f 42 Apart from ReasonML, this is interesting. Why do these behave differently?= I don=E2=80=99t understand yet.