From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.io!.POSTED.blaine.gmane.org!not-for-mail From: Andrea Corallo via "Emacs development discussions." Newsgroups: gmane.emacs.devel Subject: Re: master 0cbcc62: 'assoc' is not side-effect-free; constprop its pure subset Date: Sun, 01 Nov 2020 09:47:04 +0000 Message-ID: References: <20201031133156.28415.87445@vcs0.savannah.gnu.org> <20201031133158.04C1220A1C@vcs0.savannah.gnu.org> Reply-To: Andrea Corallo Mime-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable Injection-Info: ciao.gmane.io; posting-host="blaine.gmane.org:116.202.254.214"; logging-data="30159"; mail-complaints-to="usenet@ciao.gmane.io" User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/28.0.50 (gnu/linux) Cc: Stefan Monnier , emacs-devel@gnu.org To: Mattias =?utf-8?Q?Engdeg=C3=A5rd?= Original-X-From: emacs-devel-bounces+ged-emacs-devel=m.gmane-mx.org@gnu.org Sun Nov 01 10:47:58 2020 Return-path: Envelope-to: ged-emacs-devel@m.gmane-mx.org Original-Received: from lists.gnu.org ([209.51.188.17]) by ciao.gmane.io with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.92) (envelope-from ) id 1kZ9xu-0007kj-Hi for ged-emacs-devel@m.gmane-mx.org; Sun, 01 Nov 2020 10:47:58 +0100 Original-Received: from localhost ([::1]:53272 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1kZ9xt-00039j-Jg for ged-emacs-devel@m.gmane-mx.org; Sun, 01 Nov 2020 04:47:57 -0500 Original-Received: from eggs.gnu.org ([2001:470:142:3::10]:54666) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1kZ9xL-0002j1-Qd for emacs-devel@gnu.org; Sun, 01 Nov 2020 04:47:23 -0500 Original-Received: from mab.sdf.org ([205.166.94.33]:46072 helo=ma.sdf.org) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1kZ9xK-0007aS-5q for emacs-devel@gnu.org; Sun, 01 Nov 2020 04:47:23 -0500 Original-Received: from akrl by ma.sdf.org with local (Exim 4.92) (envelope-from ) id 1kZ9x2-0004yJ-JO; Sun, 01 Nov 2020 09:47:04 +0000 In-Reply-To: ("Mattias =?utf-8?Q?Engdeg=C3=A5rd=22's?= message of "Sun, 1 Nov 2020 10:39:33 +0100") Received-SPF: pass client-ip=205.166.94.33; envelope-from=akrl@sdf.org; helo=ma.sdf.org X-detected-operating-system: by eggs.gnu.org: First seen = 2020/11/01 04:47:16 X-ACL-Warn: Detected OS = Linux 2.2.x-3.x [generic] [fuzzy] X-Spam_score_int: -18 X-Spam_score: -1.9 X-Spam_bar: - X-Spam_report: (-1.9 / 5.0 requ) BAYES_00=-1.9, SPF_HELO_NONE=0.001, SPF_PASS=-0.001 autolearn=ham autolearn_force=no X-Spam_action: no action X-BeenThere: emacs-devel@gnu.org X-Mailman-Version: 2.1.23 Precedence: list List-Id: "Emacs development discussions." List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: emacs-devel-bounces+ged-emacs-devel=m.gmane-mx.org@gnu.org Original-Sender: "Emacs-devel" Xref: news.gmane.io gmane.emacs.devel:258597 Archived-At: Mattias Engdeg=C3=A5rd writes: > 31 okt. 2020 kl. 16.06 skrev Stefan Monnier : > >> Oh, indeed: nasty. `assoc` *was* side-effect-free until it grew its new >> `testfn` argument. > > We do have a number of functions that are pure or side-effect-free > unless given certain arguments. I suppose we could design a system > that encompasses these cases. Certainly wouldn't mind algebraic effect > types! Hi Mattias, just ot mention, would be nice if we design this to be accessible so we can use it in the native compiler as well maintaining it just in one place. Andrea