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 DF6A182355 for ; Wed, 13 Dec 2017 17:45:17 +0100 (CET) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=yawar.amin@gmail.com; spf=Pass smtp.mailfrom=yawar.amin@gmail.com; spf=None smtp.helo=postmaster@mail-io0-f169.google.com Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of yawar.amin@gmail.com) identity=pra; client-ip=209.85.223.169; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="yawar.amin@gmail.com"; x-sender="yawar.amin@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of yawar.amin@gmail.com designates 209.85.223.169 as permitted sender) identity=mailfrom; client-ip=209.85.223.169; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="yawar.amin@gmail.com"; x-sender="yawar.amin@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-io0-f169.google.com) identity=helo; client-ip=209.85.223.169; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="yawar.amin@gmail.com"; x-sender="postmaster@mail-io0-f169.google.com"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3AEJmV+BBTGGKpsNm4eY5WUyQJP3N1i/DPJgcQr6Af?= =?us-ascii?q?oPdwSPT7p8bcNUDSrc9gkEXOFd2Cra4c0qyO6+jJYi8p2d65qncMcZhBBVcuqP?= =?us-ascii?q?49uEgeOvODElDxN/XwbiY3T4xoXV5h+GynYwAOQJ6tL1LdrWev4jEMBx7xKRR6?= =?us-ascii?q?JvjvGo7Vks+7y/2+94fcbglUmTaxe69+IAmrpgjNq8cahpdvJLwswRXTuHtIfO?= =?us-ascii?q?pWxWJsJV2Nmhv3+9m98p1+/SlOovwt78FPX7n0cKQ+VrxYES8pM3sp683xtBnM?= =?us-ascii?q?VhWA630BWWgLiBVIAgzF7BbnXpfttybxq+Rw1DWGMcDwULs7Xims77pwSB/wli?= =?us-ascii?q?gIKyI5/m/Qisx1lq1boRShrAF7z4PbZIyZMfxzdb7fc9wHX2pMRsReVyJBDI2y?= =?us-ascii?q?bIUBEvQPMvpDoobnu1cDtwGzCRWwCO7tzDJDm3/43bc90+QkCQzJ3hYvHtwUv3?= =?us-ascii?q?TOsd74KKISUeGzzKLVyjjCb+lZ2Dnn54jSaBwuu/SMXbN2ccfKxkkvEhnKjlSU?= =?us-ascii?q?qYD/IzyV0eENvnGd4uF9W+yvjGsnpBtwojip3sosi4/JhpgUyl/e7yl5zpw1Kc?= =?us-ascii?q?W4SUFhYd6kF5xQuzuGOItxR8MvRXxjtiUiyrAep5K3YCwHxI4kyhPfcfCLbZaE?= =?us-ascii?q?7xz5WOqMIDp1gHRoc6+liRmo60iv0Oj8W9G00FlUqipFlcHBtnUX2BzS7siLU/?= =?us-ascii?q?p9/kC91TqW2QDf9+BJLEQumarULJ4hxbEwlp4NvkjZAiD2n0D2gLeXdkUi5Oeo?= =?us-ascii?q?9/zqbqv6qpKYLYN5iQHzPr4wlsChD+k0KBUCUmmf9Oik0b3s50z5QLFEjv0sla?= =?us-ascii?q?nZtYjXJMQBqa+3GQBVyJwv5Ay6Dzen1tQVhnYHLFdfdxKGi4jlIU3BIPf9Dfun?= =?us-ascii?q?mVSjjC9rx+zaPr3mGpjCMmLMkLLlfbpk705cyREzzcxE6pJPCrABJerzVVXruN?= =?us-ascii?q?zZCB85KQ20zPz9BNVzzINNEV6IV4qQKrjSuFuMrrYqKvOXZIYRvB75LPck7Pfq?= =?us-ascii?q?y3k0hQlOU7Ou2M4mYW+xBLxPJkSfKS79i8gICyEDuws4ZOPvgVyGFzVUYiDhDO?= =?us-ascii?q?oH+jgnBdf+Xs/4TYe3jendjSo=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0DBAAA7WDFahqnfVdFdGwEBAQEDAQEBC?= =?us-ascii?q?QEBAYQkdCcHg3uBNpdwgX2CY4cJjSWCFQojhRgChQwHQRYBAQEBAQEBAQEBEgE?= =?us-ascii?q?BAQgLCwgoL4I4DIJfAQEBAQIBIx0BGxEBCwEDAQsGBQQHDQ0dAgIiAREBBQEKE?= =?us-ascii?q?gYTEgiJdQEDDQgQnBhAjBCCBQUBHIMLBYNfChknAwpZgj8BAQEBAQUBAQEBAQE?= =?us-ascii?q?BARgCBhKDToILgVaFFIMjDIIbgmiCYwWIWwyKQY93gjmFQo0sgnmQb40QiUIUB?= =?us-ascii?q?R+BFw8XCIF4MhojTzKBdwmCECofghEjN4o6AQEB?= X-IPAS-Result: =?us-ascii?q?A0DBAAA7WDFahqnfVdFdGwEBAQEDAQEBCQEBAYQkdCcHg3u?= =?us-ascii?q?BNpdwgX2CY4cJjSWCFQojhRgChQwHQRYBAQEBAQEBAQEBEgEBAQgLCwgoL4I4D?= =?us-ascii?q?IJfAQEBAQIBIx0BGxEBCwEDAQsGBQQHDQ0dAgIiAREBBQEKEgYTEgiJdQEDDQg?= =?us-ascii?q?QnBhAjBCCBQUBHIMLBYNfChknAwpZgj8BAQEBAQUBAQEBAQEBARgCBhKDToILg?= =?us-ascii?q?VaFFIMjDIIbgmiCYwWIWwyKQY93gjmFQo0sgnmQb40QiUIUBR+BFw8XCIF4Mho?= =?us-ascii?q?jTzKBdwmCECofghEjN4o6AQEB?= X-IronPort-AV: E=Sophos;i="5.45,397,1508796000"; d="scan'208,217";a="248256396" Received: from mail-io0-f169.google.com ([209.85.223.169]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 13 Dec 2017 17:45:16 +0100 Received: by mail-io0-f169.google.com with SMTP id h12so3494604iof.6 for ; Wed, 13 Dec 2017 08:45:16 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=mime-version:in-reply-to:references:from:date:message-id:subject:to :cc; bh=f3T9feOkf4L7wr+lZqAuzpCHShzdn3Jd9EFUsUL0ssI=; b=oy+bQN45uQ5m+6+RvEWTMkH0a2IbHkCmtJL+E/tCii0+4s1S32dL4rEpyUeQ13BTiP UNiaF3HidL4L0S/kLqzK8avYPyLunOAgnyUk6tAEhrVm0igCYJPH0alhED/79A/RHTRx 0Vu41Lw1r3GCJaE/pS+H5bK4m4Lf42huwMxD/7rfIKwxafCLHtd/sx1TUNSo93PgVvVv 7wxbV6crqV9hKeguuvsavNe4AgD4GYQ/G9pJjkhm9XNoC26HPi5FWruDWYDfP/XjgzsD y78XHqg3FrJ/x1Dk9QVLjnEgRXn2hKJA+ggnDHo0NNOKSFiFjmNZ/m7WVgWvqThplwyF 0L2Q== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:mime-version:in-reply-to:references:from:date :message-id:subject:to:cc; bh=f3T9feOkf4L7wr+lZqAuzpCHShzdn3Jd9EFUsUL0ssI=; b=If1W2khaVtSROYoXoGd8U8IqQMhorYzFPkqvGfY0dlpBCh1DgHEIhp3ElVmC1SdLAm 6Wpl/6UQuDbczm2b5lGS0vRbjo2AwQaK+T/Fl5ZNFc2etLpZTxdj4ToVWvgKyaD3lD2/ X3XSZG7vkYA0cNMlotKIVNGYgx3bQN/2zQqEdooctza+/AOLssqgFmiw5g0mzrqmh0FG EpmToa4/sxHHIBHVxoA4Nr19+Yu41S2PKJSFXsguyAczbAOqnldMn3zHQ5rg4fhqkUVW GlDm656r3XpISbAXHCB6yKwWKFoTpslke90TYJfzEBCJ9wxh0gH82vsVK8uK39b/PL6C oOPA== X-Gm-Message-State: AKGB3mK/JztteQuFKxNuLUdshA7IA0Hmadl3Yl9ItbDrAVr3vm7xrXe6 pG70A5lD4qwpGqV3lekX+AAUSCZSSDKKrqZE6w== X-Google-Smtp-Source: ACJfBoukrgpTYVf4C9FBbQB5YqYbdxDe0BsDAcfCA8HFDrWvaqcWE79EVH+VqOG7i15t9wKjWfaJuaBcnb6zwqdg/Nk= X-Received: by 10.107.97.16 with SMTP id v16mr3485007iob.263.1513183515317; Wed, 13 Dec 2017 08:45:15 -0800 (PST) MIME-Version: 1.0 Received: by 10.2.181.19 with HTTP; Wed, 13 Dec 2017 08:44:54 -0800 (PST) In-Reply-To: <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> <7BE82AAB-9F65-49E4-B9A8-69FCC5719253@logical.net> From: Yawar Amin Date: Wed, 13 Dec 2017 11:44:54 -0500 Message-ID: To: Marshall Cc: "caml-list@inria.fr" Content-Type: multipart/alternative; boundary="089e0825a658e91c1e05603b7d44" Subject: Re: [Caml-list] ReasonML concrete syntax --089e0825a658e91c1e05603b7d44 Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable In the second example, the second `print_int` never gets called. On Wed, Dec 13, 2017 at 11:38 AM, Marshall wrote: > > > On Dec 13, 2017, at 4:37 AM, David Allsopp > wrote: > > > > In terms of why you might want to be "hiding" currying, or at least > making it need less immediate explanation when learning the language, > consider, for example, explaining the difference between: > > > > let f x y =3D print_int x; print_int y in > > f 42 > > > > and > > > > 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. > > > > -- > Caml-list mailing list. Subscription management and archives: > https://sympa.inria.fr/sympa/arc/caml-list > Beginner's list: http://groups.yahoo.com/group/ocaml_beginners > Bug reports: http://caml.inria.fr/bin/caml-bugs > --089e0825a658e91c1e05603b7d44 Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
In the second example, the second `print_int` never gets c= alled.

On We= d, Dec 13, 2017 at 11:38 AM, Marshall <marshall@logical.net> wrote:

> On Dec 13, 2017, at 4:37 AM, David Allsopp <dra-news@metastack.com> wrote:
>
> In terms of why you might want to be "hiding" currying, or a= t least making it need less immediate explanation when learning the languag= e, consider, for example, explaining the difference between:
>
> let f x y =3D print_int x; print_int y in
> f 42
>
> and
>
> let f x =3D print_int x; print_int in
> f 42

Apart from ReasonML, this is interesting.=C2=A0 Why do these behave = differently?=C2=A0 I don=E2=80=99t understand yet.



--
Caml-list mailing list.=C2=A0 Subscription management and archives:
https://sympa.inria.fr/sympa/arc/caml-list
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs

--089e0825a658e91c1e05603b7d44--