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 c5ff346549e7 (Postfix) with ESMTPS id B0C6A5D6 for ; Sat, 10 Aug 2019 15:18:26 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.64,369,1559512800"; d="scan'208";a="395047355" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 10 Aug 2019 17:18:25 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id D24A87EF0A; Sat, 10 Aug 2019 17:18:25 +0200 (CEST) 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 B85B77ED20 for ; Sat, 10 Aug 2019 17:18:18 +0200 (CEST) Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=oliver@first.in-berlin.de; spf=None smtp.mailfrom=oliver@first.in-berlin.de; spf=None smtp.helo=postmaster@einhorn-mail.in-berlin.de IronPort-PHdr: =?us-ascii?q?9a23=3AcfW+uhZqO7S1n6t2/RdM9tH/LSx+4OfEezUN459i?= =?us-ascii?q?sYplN5qZoMWybnLW6fgltlLVR4KTs6sC17OM9fm5CCdQvN6oizMrSNR0TRgLiM?= =?us-ascii?q?EbzUQLIfWuLgnFFsPsdDEwB89YVVVorDmROElRH9viNRWJ+iXhpTEdFQ/iOgVr?= =?us-ascii?q?O+/7BpDdj9it1+C15pbffxhEiCCybL9vMhm6txjdutQSjIdtKas8ygbCr2dVde?= =?us-ascii?q?hR2W5mP0+YkQzm5se38p5j8iBQtOwk+sVdT6j0fLk2QKJBAjg+PG87+MPktR/Y?= =?us-ascii?q?TQuS/XQcSXkZkgBJAwfe8h73WIr6vzbguep83CmaOtD2TawxVD+/4apnVAPkhS?= =?us-ascii?q?EaPDMi7mrZltJ/g75aoBK5phxw3YjUYJ2ONPFjeq/RZM4WSXZdUspUUSFKH4Gy?= =?us-ascii?q?YJYVD+cZM+hWr5fzqUYNoxuwCgajGP7gxT1GiXLtwa02z/4sHR3a0AE6Hd8Dtm?= =?us-ascii?q?nfotXvNKcVVOC41LDGzTHCb/NIxzj98pXDfw07rvGKQL1/b87RwlQoGgPCilWQ?= =?us-ascii?q?qJLlMC2P1ukWvWib7vBgVfmzi2I9qgFxpCGjydwyhYnTgoIVy1bE+T9kz4krPN?= =?us-ascii?q?C1TlNwb928EJZIqS2WKol7Ttk/T2xsuis20L4LtYKhcCQU1JgqwQPUZeadfIiS?= =?us-ascii?q?+B3jUf6cITdmi3Jhf7Kynwi98Ummyu38Ucm0ylBKojNAktbWt3AN0wbf6smBSv?= =?us-ascii?q?dk5UiuxyyP1wTS6uFCO0w7iLTUJ4Ygwr42iJUTrVzOEjHrlEj0lqOaa0Ep9+qy?= =?us-ascii?q?5+nkfrnqvIGQO5NshgH7KKsum8i/AeoiMggJWmiW4eO81Lni/U3nXrpKlOY7kq?= =?us-ascii?q?fYsJDAPsQburS1Aw5T0oo68BmwES2m0NAZnXkBNl5KZQyIg5DzO17SOPD4Eeu/?= =?us-ascii?q?g1O0nTh33f/GO7nhDozJLnjCi7fhYa1w61VcyQo21dBQ/YhYCrAHIPLpW0/+rs?= =?us-ascii?q?bUDhEjM1/8/+GyKtJm1ss0VHiDA6mUePfQtkSIzugiOeWNYoJTvjvhfasL/fnr?= =?us-ascii?q?2Fg9mEEQZ+GD1J0bZXTwSvNiIluUe1Lig80aDSELuE80QfbuiVvEXTMFNCX6ZL?= =?us-ascii?q?41+jxuUNHuNozEXI34xeXZhH7nTK0TXXhPDxW3KVmtb5+NAa9eZiOIOdMnkzpB?= =?us-ascii?q?X7W7T44nkx2j5lejluhXa9HM8yhdjqrNkdh44+qJykM/9Dp0CN6blmSETmUyn2?= =?us-ascii?q?VNTTIs2KF550BwmA/agPpIxsdAHNkW3MtnFwIzNJrS1et/UYigVAPbZcvPSVDj?= =?us-ascii?q?SNi8BTA3CN48kYcD?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0AJAwDZ305dhxRQxdlmHgEGBwaBZ4NXM?= =?us-ascii?q?iqEHoh8himCD5sLCQEDAQoBAS8BAYQ/AoJhGwYGNBMBBAEBBAEBBAEDBwETAQE?= =?us-ascii?q?BCgsJCCmFOoI6KQGCZwECAgEjVhALGgIFIQICD0gGE4MigXwTqzeBMoVJgzSBS?= =?us-ascii?q?YEMKItkF4F/hCM+h0+CWASrRwmBOmVik0QMG3SBLIspinSlWAIEAgQFAhWBZ4F?= =?us-ascii?q?5MxoIHBQ7gmyCXI4tPQMwkCEBAQ?= X-IPAS-Result: =?us-ascii?q?A0AJAwDZ305dhxRQxdlmHgEGBwaBZ4NXMiqEHoh8himCD5s?= =?us-ascii?q?LCQEDAQoBAS8BAYQ/AoJhGwYGNBMBBAEBBAEBBAEDBwETAQEBCgsJCCmFOoI6K?= =?us-ascii?q?QGCZwECAgEjVhALGgIFIQICD0gGE4MigXwTqzeBMoVJgzSBSYEMKItkF4F/hCM?= =?us-ascii?q?+h0+CWASrRwmBOmVik0QMG3SBLIspinSlWAIEAgQFAhWBZ4F5MxoIHBQ7gmyCX?= =?us-ascii?q?I4tPQMwkCEBAQ?= X-IronPort-AV: E=Sophos;i="5.64,369,1559512800"; d="scan'208";a="395047343" X-MGA-submission: =?us-ascii?q?MDHilzUJh+TSf0hUYnZGMMThoHKvD0YAuFCsUt?= =?us-ascii?q?HY9AW1v/AsM8BgyvgDTPR4q4CACmYKLUNNSrf7WkaQmLNi2AhkLLH0hV?= =?us-ascii?q?QUQLigJ1airl326Bpual1ZZmVOvz8I5ohOrJdW3WTjF9CzgKXtJY0log?= =?us-ascii?q?whius4yN//ujEQCP+b/m6yDA=3D=3D?= Received: from einhorn-mail.in-berlin.de ([217.197.80.20]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 10 Aug 2019 17:18:18 +0200 X-Envelope-From: oliver@first.in-berlin.de Received: from authenticated.user (localhost [127.0.0.1]) by einhorn.in-berlin.de with ESMTPSA id x7AFI8a8012423 (version=TLSv1.2 cipher=ECDHE-RSA-AES256-GCM-SHA384 bits=256 verify=NOT); Sat, 10 Aug 2019 17:18:08 +0200 Date: Sat, 10 Aug 2019 17:18:08 +0200 From: Oliver Bandel To: Josh Berdine Cc: "Richard W.M. Jones" , caml-list@inria.fr Message-ID: <20190810151808.mjo4goao6mtwxzqw@first.in-berlin.de> References: <20190809142719.ff4kogz4fq6r7vfr@annexia.org> MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Disposition: inline In-Reply-To: User-Agent: NeoMutt/20180716 Subject: Re: [Caml-list] Syntax puzzle / suggestion Reply-To: Oliver Bandel X-Loop: caml-list@inria.fr X-Sequence: 17759 Errors-to: caml-list-owner@inria.fr Precedence: list Precedence: bulk Sender: caml-list-request@inria.fr X-no-archive: yes List-Id: List-Archive: List-Help: List-Owner: List-Post: List-Subscribe: List-Unsubscribe: Quoting Josh Berdine (snt: 2019-08-09 16:51 +0200 CEST) (rcv: 2019-08-09 16:53 +0200 CEST): > What about good old-fashioned state: [...] I guess you mean style, not state. And I would agree that inventing just another syntax would not be necessary, > > let all_items = ref [] > let add_item item = all_items := (item :: !all_items, item) This does not xomnpile, but thie here does: let add_item item = all_items := (item :: !all_items); item Ciao, Oliver