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 21E9982355 for ; Wed, 13 Dec 2017 18:39:32 +0100 (CET) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=hendrik@topoi.pooq.com; spf=None smtp.mailfrom=hendrik@topoi.pooq.com; spf=None smtp.helo=postmaster@april.topoi.pooq.com Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of hendrik@topoi.pooq.com) identity=pra; client-ip=69.165.131.134; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="hendrik@topoi.pooq.com"; x-sender="hendrik@topoi.pooq.com"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of hendrik@topoi.pooq.com) identity=mailfrom; client-ip=69.165.131.134; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="hendrik@topoi.pooq.com"; x-sender="hendrik@topoi.pooq.com"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@april.topoi.pooq.com) identity=helo; client-ip=69.165.131.134; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="hendrik@topoi.pooq.com"; x-sender="postmaster@april.topoi.pooq.com"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3AGdYjIxy+5jRnuczXCy+O+j09IxM/srCxBDY+r6Qd?= =?us-ascii?q?1OoeIJqq85mqBkHD//Il1AaPAd2Craocw8Pt8InYEVQa5piAtH1QOLdtbDQizf?= =?us-ascii?q?ssogo7HcSeAlf6JvO5JwYzHcBFSUM3tyrjaRsdF8nxfUDdrWOv5jAOBBr/KRB1?= =?us-ascii?q?JuPoEYLOksi7ze+/94HObwlSmDaxfa55IQmrownWqsQYm5ZpJLwryhvOrHtIeu?= =?us-ascii?q?BWyn1tKFmOgRvy5dq+8YB6/ShItP0v68BPUaPhf6QlVrNYFygpM3o05MLwqxbO?= =?us-ascii?q?SxaE62YGXWUXlhpIBBXF7A3/U5zsvCb2qvZx1S+HNsDwULs6Wymt771zRRHmiC?= =?us-ascii?q?kJKSM3/mLZisN/kK1UvRCuqBJkzo7IfI2YLuZycr/HcN8EQ2dKQ8ZfVzZGAoO5?= =?us-ascii?q?d4YBDfQOPeBFoInnplsOrga1CBSrBOPozz9Dm3j73a0k3OQnDA7Gxg0gH9EVvX?= =?us-ascii?q?TIq9X1LKASUeGvwKnQyjXDaOpW1S3h54jPdxAsuPeBVq9zf8rJ0UQiFgfIgk+N?= =?us-ascii?q?pYHkPz6ZzPkBvmaG4+Z6SO6ihWEqpgdsqTa13MgskJPGhocNx1DE6yp5xIE1KM?= =?us-ascii?q?WiR05je96kEZ9QuzuGN4txWsMiRGBotDwiyr0Bvp67ZTIGx4ggxx7ac/CHco6I?= =?us-ascii?q?7Qz/VOuJIDp1gGhpdK++ihuy60Ss1+PxWtSu3FpXoCdIncHAtnUX2BzS7siHRO?= =?us-ascii?q?F9/kCk2TuX1wDc9OdELl0ularaKJ4s2aIwlp0LsUTEHy/6gl32jKiRdkU94OSn?= =?us-ascii?q?9+PnYrD+qp+GK4B0kh3+MrgpmsGnHes3KA0OX2yC9eS41b3j5lH5Ta5Rjvw2l6?= =?us-ascii?q?nZqIrVKd4apq6/GQ9V05ws5wyxDze8g5wkmiwMJVdBPRaGlJTBOlfUIfm+A+3s?= =?us-ascii?q?rU6rlWJLyvbKJLziSr/KKX2LxLfse7pn6k101A0rytEZ/5VTE/cKJ/elCRy5j8?= =?us-ascii?q?DREhJsa1/8+O3gEtgojo4=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0B0AQAtZTFa/4aDpUVdGQEBAQEBAQEBA?= =?us-ascii?q?QEBAQcBAQEBAYUYg16LYJAOmSaFRQKFVRUBAQEBAQEBAQEBaiiCOCKCSgEFOk8?= =?us-ascii?q?LGAklDwUYimyrEYpdAQEIAiaDYIh1hWmCeoIyBZMoj3eVGg1zknWYITUjgU4yG?= =?us-ascii?q?ggbFTqCKoRyI4pxAQEB?= X-IPAS-Result: =?us-ascii?q?A0B0AQAtZTFa/4aDpUVdGQEBAQEBAQEBAQEBAQcBAQEBAYU?= =?us-ascii?q?Yg16LYJAOmSaFRQKFVRUBAQEBAQEBAQEBaiiCOCKCSgEFOk8LGAklDwUYimyrE?= =?us-ascii?q?YpdAQEIAiaDYIh1hWmCeoIyBZMoj3eVGg1zknWYITUjgU4yGggbFTqCKoRyI4p?= =?us-ascii?q?xAQEB?= X-IronPort-AV: E=Sophos;i="5.45,397,1508796000"; d="scan'208";a="248263795" Received: from topoi.pooq.com (HELO april.topoi.pooq.com) ([69.165.131.134]) by mail3-smtp-sop.national.inria.fr with ESMTP; 13 Dec 2017 18:39:30 +0100 Received: by april.topoi.pooq.com (Postfix, from userid 1001) id 00592C2BDC; Wed, 13 Dec 2017 12:39:26 -0500 (EST) Date: Wed, 13 Dec 2017 12:39:26 -0500 From: Hendrik Boom To: caml-list@inria.fr Message-ID: <20171213173926.GA13291@topoi.pooq.com> References: <6640cb32-fec3-e048-3f40-53d65bae5305@gerd-stolpmann.de> <20171211161024.kafvtxzq3qcoo46p@matica.foolinux.mooo.com> <131064f1-4d53-5fbc-8aa7-0f6210dcb7bd@irisa.fr> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: <131064f1-4d53-5fbc-8aa7-0f6210dcb7bd@irisa.fr> User-Agent: Mutt/1.5.23 (2014-03-12) Subject: Re: [Caml-list] ReasonML concrete syntax On Wed, Dec 13, 2017 at 09:22:05AM +0100, Sebastien Ferre wrote: > > The Scala notation is an interesting alternative, IMO. > > They have two notations, f(x,y) and f(x)(y), the latter being the > curryfied version allowing partial application. > > They also have a notation for partial application > of the non-curryfied form, f(x,_) and f(_,y), with > the advantage that not only the last argument can missing. I understand currying; I first encountered it in the 60's when studying combinatory logic. But I find it a nuisance in progrmming in OCaml, becuse it oftern happens by accident, and results in mysterious type errors, or none at all. That's why I'd like to see currying only happen explicitly; most of the time Ocaml figures I'm currying it's a mistake. -- hendrik