From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: 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 2D08782355 for ; Mon, 11 Dec 2017 17:10:46 +0100 (CET) Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=itz@very.loosely.org; spf=Pass smtp.mailfrom=itz@very.loosely.org; spf=Pass smtp.helo=postmaster@very.loosely.org Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of itz@very.loosely.org) identity=pra; client-ip=173.255.215.69; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="itz@very.loosely.org"; x-sender="itz@very.loosely.org"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of itz@very.loosely.org designates 173.255.215.69 as permitted sender) identity=mailfrom; client-ip=173.255.215.69; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="itz@very.loosely.org"; x-sender="itz@very.loosely.org"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of postmaster@very.loosely.org designates 173.255.215.69 as permitted sender) identity=helo; client-ip=173.255.215.69; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="itz@very.loosely.org"; x-sender="postmaster@very.loosely.org"; x-conformance=sidf_compatible; x-record-type="v=spf1" IronPort-PHdr: =?us-ascii?q?9a23=3A74W2CBUGnniiSBV3zAB9laQih5fV8LGtZVwlr6E/?= =?us-ascii?q?grcLSJyIuqrYZRyCt8tkgFKBZ4jH8fUM07OQ6P+wHzFYqb+681k8M7V0Hycfjs?= =?us-ascii?q?sXmwFySOWkMmbcaMDQUiohAc5ZX0Vk9XzoeWJcGcL5ekGA6ibqtW1aSV3DMl9+?= =?us-ascii?q?L+HxX4rTlNif1uao+pSVbR8bvjelZaJOK0C9pADV880XmpdKK6AryxKPrGEbVf?= =?us-ascii?q?5RwDZJLFTbrRf548qq+Zdlu3BRp+AJ6cNaQOP+eKMjQLhJSjM8PDZmt4XQqRDf?= =?us-ascii?q?QF7XtTMnWWIMn08QDg=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0BvWQANrS5a/0XX/61bHgEGDIM+LIEun?= =?us-ascii?q?UdAAQEBAQEBAQQBgSwFFZcVgXcKhTsChHJEEwEBAQEBAQEBAQFqKII4IoJJAQI?= =?us-ascii?q?CATozARALCyElDy0bijQFCAWqQYRyhXIBAQEBBgEBAQEkg2iCC4EOhVyFa4UsB?= =?us-ascii?q?ZMjj26VFA2CFoYSg2mHUpZeaVI3IYFPTDAIOoEdGHWEdSCKFgEBAQ?= X-IPAS-Result: =?us-ascii?q?A0BvWQANrS5a/0XX/61bHgEGDIM+LIEunUdAAQEBAQEBAQQ?= =?us-ascii?q?BgSwFFZcVgXcKhTsChHJEEwEBAQEBAQEBAQFqKII4IoJJAQICATozARALCyElD?= =?us-ascii?q?y0bijQFCAWqQYRyhXIBAQEBBgEBAQEkg2iCC4EOhVyFa4UsBZMjj26VFA2CFoY?= =?us-ascii?q?Sg2mHUpZeaVI3IYFPTDAIOoEdGHWEdSCKFgEBAQ?= X-Spam-Status: Yes X-IronPort-AV: E=Sophos;i="5.45,392,1508796000"; d="scan'208";a="304961675" Received: from very.loosely.org ([173.255.215.69]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/AES256-GCM-SHA384; 11 Dec 2017 17:10:38 +0100 Received: from [10.8.78.6] (port=55292 helo=matica.foolinux.mooo.com) by ahiker.mooo.com with esmtp (Exim 4.89) (envelope-from ) id 1eOQf3-0008Uh-Go for caml-list@inria.fr; Mon, 11 Dec 2017 08:10:33 -0800 Received: from itz by matica.foolinux.mooo.com with local (Exim 4.89) (envelope-from ) id 1eOQeu-0000m6-VN for caml-list@inria.fr; Mon, 11 Dec 2017 08:10:25 -0800 Date: Mon, 11 Dec 2017 08:10:24 -0800 From: Ian Zimmerman To: caml-list@inria.fr Message-ID: <20171211161024.kafvtxzq3qcoo46p@matica.foolinux.mooo.com> Reply-To: caml-list@inria.fr Mail-Followup-To: caml-list@inria.fr References: <6640cb32-fec3-e048-3f40-53d65bae5305@gerd-stolpmann.de> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: <6640cb32-fec3-e048-3f40-53d65bae5305@gerd-stolpmann.de> X-Loosely-Listed: yes User-Agent: NeoMutt/20170707-dirty (1.8.3) Subject: Re: [Caml-list] ReasonML concrete syntax On 2017-12-11 15:40, Gerd Stolpmann wrote: > although, with currified functions this is only an illusion As they say, "this". The alternative syntax will lead to people never learning about partial application. Does your own language curry multiple arguments by default like Ocaml does? If yes, then (IMO) your choice is a mistake, in spite of the (good) arguments you give for it. I would be more tolerant about such syntax in a SML-like language where multiple arguments are modelled with tuples in most cases. -- Please don't Cc: me privately on mailing lists and Usenet, if you also post the followup to the list or newsgroup. To reply privately _only_ on Usenet, fetch the TXT record for the domain.