From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.io!.POSTED.blaine.gmane.org!not-for-mail From: Eli Zaretskii Newsgroups: gmane.emacs.devel Subject: Re: [External] : Re: Question about eval and compile-command Date: Fri, 04 Aug 2023 08:40:05 +0300 Message-ID: <83jzubwekq.fsf@gnu.org> References: <837cqcxxcy.fsf@gnu.org> <87a5v7rj2e.fsf@posteo.net> <87tttfq14n.fsf@igel.home> Injection-Info: ciao.gmane.io; posting-host="blaine.gmane.org:116.202.254.214"; logging-data="16071"; mail-complaints-to="usenet@ciao.gmane.io" Cc: schwab@linux-m68k.org, philipk@posteo.net, monnier@iro.umontreal.ca, me@eshelyaron.com, emacs-devel@gnu.org To: Drew Adams Original-X-From: emacs-devel-bounces+ged-emacs-devel=m.gmane-mx.org@gnu.org Fri Aug 04 07:41:06 2023 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 1qRnYe-00041y-SO for ged-emacs-devel@m.gmane-mx.org; Fri, 04 Aug 2023 07:41:05 +0200 Original-Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1qRnXg-0001rz-DC; Fri, 04 Aug 2023 01:40:05 -0400 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 1qRnXc-0001r7-Pk for emacs-devel@gnu.org; Fri, 04 Aug 2023 01:40:01 -0400 Original-Received: from fencepost.gnu.org ([2001:470:142:3::e]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1qRnXZ-0006A5-Pg; Fri, 04 Aug 2023 01:39:58 -0400 DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=gnu.org; s=fencepost-gnu-org; h=References:Subject:In-Reply-To:To:From:Date: mime-version; bh=Alm6Xkur4yM8vavBULdaPSIBy2nJLOizEXypWY1DPiE=; b=FqmrnHzvn5uS dZ/XKFqxG8/+51adkUx2yyVz/m2a7ycVd5XQLH9ORNKom2Gctbgyj7Y49U1C4Ki7M1HXYo4ZDJQqS uWGMrSW9JqAtmNRBTruDc4kXrwcGH+HzYpnRl8R2Ii3KpTAxZpJfq7Hvguu7+qnUFT0PG6LpyydgB xSlnXZKin6vY2Yuk59eEpfZbXMriANtDkMdqL++4FYLDL2nuAomqf1Nb5HLuQNG+DmFZCqfef/lK6 kxw924k0NfbOJdl642+SXmEaaw8na1Vguo9WXzwaAkhiov0m0iolWS5ShW9p/1AJAhQHASf4XjhDu SaNudk2gYAN+SX9BsFatWQ==; Original-Received: from [87.69.77.57] (helo=home-c4e4a596f7) by fencepost.gnu.org with esmtpsa (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1qRnXW-000737-2s; Fri, 04 Aug 2023 01:39:55 -0400 In-Reply-To: (message from Drew Adams on Thu, 3 Aug 2023 21:35:39 +0000) 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:308268 Archived-At: > From: Drew Adams > CC: Stefan Monnier , Eli Zaretskii , > Eshel Yaron , > "emacs-devel@gnu.org" > Date: Thu, 3 Aug 2023 21:35:39 +0000 > > > > In retrospect, shouldn't the type be be a string or a function? > > > > Not a function, but a form. > > A string is a form too... Methodologically, it is not good to rely on this, because many Emacs users will not realize that. We never use "form" when we talk about strings, for that very reason. Using mathematical rigor when writing software documentation is almost never a good idea, in practice.