From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.io!.POSTED.blaine.gmane.org!not-for-mail From: =?UTF-8?B?Sm/Do28gVMOhdm9yYQ==?= Newsgroups: gmane.emacs.devel Subject: Re: Distinguishing `consp` and `functionp` Date: Fri, 26 Jan 2024 21:50:26 +0000 Message-ID: References: <86msssble8.fsf@gnu.org> 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="14793"; mail-complaints-to="usenet@ciao.gmane.io" Cc: Eli Zaretskii , emacs-devel To: Stefan Monnier Original-X-From: emacs-devel-bounces+ged-emacs-devel=m.gmane-mx.org@gnu.org Fri Jan 26 22:51:33 2024 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 1rTU6n-0003cp-4F for ged-emacs-devel@m.gmane-mx.org; Fri, 26 Jan 2024 22:51:33 +0100 Original-Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1rTU61-0002tH-I0; Fri, 26 Jan 2024 16:50:45 -0500 Original-Received: from eggs.gnu.org ([2001:470:142:3::10]) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1rTU5z-0002t9-SH for emacs-devel@gnu.org; Fri, 26 Jan 2024 16:50:44 -0500 Original-Received: from mail-lf1-x12a.google.com ([2a00:1450:4864:20::12a]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1rTU5x-00086O-6T; Fri, 26 Jan 2024 16:50:43 -0500 Original-Received: by mail-lf1-x12a.google.com with SMTP id 2adb3069b0e04-5100ed2b33dso1717953e87.0; Fri, 26 Jan 2024 13:50:40 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20230601; t=1706305838; x=1706910638; darn=gnu.org; h=content-transfer-encoding:cc:to:subject:message-id:date:from :in-reply-to:references:mime-version:from:to:cc:subject:date :message-id:reply-to; bh=b2YPrzWrnkVHoWxIFsdJFIRWFjO5p2ZmY8r0jt6L6Lw=; b=hA6F9nO7S3QU4TM08mcg4fBvcvnLldFBuoQBB2bmfV6bxCfVqqav8jPcIzkdArfqAY BpgWxPsufiEnd9Qr7zntQ+ejvHBJDDUXx2OXAsbEECpGVRf9iK5k9quhevexSvosnHqb BEQ+LLf0/d1VLd4Yp//BwR2ZJOKprBDURfLyk33NHw2vHCOVEzDo2hB+cxKHJ7LENn+a UueZocbdmxbsNzLOzVASXQiMpt563nn+Uyvef/P8GjWjFoZRdpoovxCRoHKqBOepQVoy Sm4q6gM3N/DSnlR/hUYT/EW7RghvP+tlzM3LpsoGedIea+IOdNfq9Ph/RiclJvvSFCu2 uEFQ== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1706305838; x=1706910638; h=content-transfer-encoding:cc:to:subject:message-id:date:from :in-reply-to:references:mime-version:x-gm-message-state:from:to:cc :subject:date:message-id:reply-to; bh=b2YPrzWrnkVHoWxIFsdJFIRWFjO5p2ZmY8r0jt6L6Lw=; b=udLB54H5cRgF9WCR+W79KErIaIoF9nc4K2pgvYJQShANhV6XQ9EcWpwDL2FBB3vFTH DOGG9tuLWP5lGIk2esAZP4rqZmAHFFO5qy0yo8wNT1HYGqPtGAO9YpPab0gI9HcpfDIk IVw65poT1pV2iP8VKOLurikCk4fZT2tH/QiwzKLqHA2dmW4lrPB6dKVxrAY1VcC6ZQV6 RpGKimTTvqCAEV8TTlQ46z7Om9n85rJ1oznuroPYmcKn1SMJb33JG47f1T6nyjksZea+ THKYFH0ydcI4cS8IL2LbRK7EAAq8jDbyJ8Z6uHyg2FTbMTLqhnbkJkBw4iDIRMvncxkg Ojvg== X-Gm-Message-State: AOJu0YyffuDMWtEthD62LeVwt3/7D/QghvGsk1V/p/7yBPjBKM/E3+LV Sod3BGbF5/fhhbNcFstJqDa2hEB9utgtetGHBStVURXqVyP6yS5ebjtwPh1j815X/aTsHc7WPwb v72T9J7+rvuXb36IrmJGCikushtc0mVq+BtY= X-Google-Smtp-Source: AGHT+IFDFPuGQJM6EWKfeCsH7+y0cXnTznpk4NCC5kRkMbojNNrD9940UbF693P3h3LUSFadxBf/oSflphmSgWlGHbQ= X-Received: by 2002:a05:6512:201c:b0:50e:ca2a:50f8 with SMTP id a28-20020a056512201c00b0050eca2a50f8mr174342lfb.63.1706305837816; Fri, 26 Jan 2024 13:50:37 -0800 (PST) In-Reply-To: Received-SPF: pass client-ip=2a00:1450:4864:20::12a; envelope-from=joaotavora@gmail.com; helo=mail-lf1-x12a.google.com X-Spam_score_int: -20 X-Spam_score: -2.1 X-Spam_bar: -- X-Spam_report: (-2.1 / 5.0 requ) BAYES_00=-1.9, DKIM_SIGNED=0.1, DKIM_VALID=-0.1, DKIM_VALID_AU=-0.1, DKIM_VALID_EF=-0.1, FREEMAIL_FROM=0.001, RCVD_IN_DNSWL_NONE=-0.0001, SPF_HELO_NONE=0.001, SPF_PASS=-0.001, T_SCC_BODY_TEXT_LINE=-0.01 autolearn=ham autolearn_force=no X-Spam_action: no action X-BeenThere: emacs-devel@gnu.org X-Mailman-Version: 2.1.29 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-bounces+ged-emacs-devel=m.gmane-mx.org@gnu.org Xref: news.gmane.io gmane.emacs.devel:315443 Archived-At: On Fri, Jan 26, 2024 at 9:13=E2=80=AFPM Stefan Monnier wrote: > > Is fine and correct, but: > > > > (funcall '(lambda ())) > > > > Shouldn't be fine, yet it is. > > That is related but I'm not really interested in disallowing it. Hmmm > Rather I'm annoyed at the corner cases where > > (functionp (mapcar ...)) > > can occasionally return t, simply because the returned list happens to > start with the symbol `closure` or `lambda`. So you want this to return nil, but still allow 'funcall' of said returned lists? Or do you want to disallow (funcall (list 'lambda nil)) But still allow (funcall (quote (lambda ()))) ? FWIW, SBCL disallows both. I think Allegro CL allows at least one of them. Jo=C3=A3o