From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.io!.POSTED.blaine.gmane.org!not-for-mail From: Lele Gaifax Newsgroups: gmane.emacs.devel Subject: Re: Declaring Lisp function types Date: Mon, 18 Mar 2024 09:55:38 +0100 Organization: Nautilus Entertainments Message-ID: <87cyrrncl1.fsf@metapensiero.it> References: <87y1ajtl2h.fsf@neko.mail-host-address-is-not-set> <86wmq3732h.fsf@gnu.org> <87v85mthwz.fsf@neko.mail-host-address-is-not-set> <86sf0q5l0v.fsf@gnu.org> <87o7betech.fsf@neko.mail-host-address-is-not-set> <86msqy5ggr.fsf@gnu.org> Mime-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: 8bit Injection-Info: ciao.gmane.io; posting-host="blaine.gmane.org:116.202.254.214"; logging-data="37350"; mail-complaints-to="usenet@ciao.gmane.io" User-Agent: Gnus/5.13 (Gnus v5.13) To: emacs-devel@gnu.org Cancel-Lock: sha1:8Tzit+Uf6Tsjv8+2BnfpUXwOODc= Original-X-From: emacs-devel-bounces+ged-emacs-devel=m.gmane-mx.org@gnu.org Mon Mar 18 13:26:02 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 1rmC41-0009XY-VY for ged-emacs-devel@m.gmane-mx.org; Mon, 18 Mar 2024 13:26:01 +0100 Original-Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1rmC3J-0005ro-26; Mon, 18 Mar 2024 08:25:17 -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 1rm8mj-0006V1-SY for emacs-devel@gnu.org; Mon, 18 Mar 2024 04:55:57 -0400 Original-Received: from ciao.gmane.io ([116.202.254.214]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1rm8md-0001fX-Lx for emacs-devel@gnu.org; Mon, 18 Mar 2024 04:55:57 -0400 Original-Received: from list by ciao.gmane.io with local (Exim 4.92) (envelope-from ) id 1rm8mY-0005zL-IT for emacs-devel@gnu.org; Mon, 18 Mar 2024 09:55:46 +0100 X-Injected-Via-Gmane: http://gmane.org/ Received-SPF: pass client-ip=116.202.254.214; envelope-from=ged-emacs-devel@m.gmane-mx.org; helo=ciao.gmane.io X-Spam_score_int: -15 X-Spam_score: -1.6 X-Spam_bar: - X-Spam_report: (-1.6 / 5.0 requ) BAYES_00=-1.9, HEADER_FROM_DIFFERENT_DOMAINS=0.249, SPF_HELO_NONE=0.001, T_SCC_BODY_TEXT_LINE=-0.01, T_SPF_TEMPERROR=0.01 autolearn=no autolearn_force=no X-Spam_action: no action X-Mailman-Approved-At: Mon, 18 Mar 2024 08:25:15 -0400 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:317164 Archived-At: Eli Zaretskii writes: >> Now imagine if "ptrdiff_t" was called "function" instead. > > I don't really see the difference. > > Like I said: searching for symbols of a programming language is not a > good idea. It is not efficient, and thus not useful. So this aspect > is simply not relevant to the issue at hand. I think Tomas just meant to say that, even if looking for "ptrdiff_t" brings thousands of hits, you can be pretty confident that almost all of them are related to a very particular kind of data, the same cannot be said when looking for a much more generic term such as "function". Not sure what kind of searches one would do on the keywords/symbols used in a function declaration (and thus, strictly in this thread's topic), but surely I find your assertion that > searching for symbols of a programming language is not a > good idea. It is not efficient, and thus not useful. is a bit too broad: it's not that rare (or useless) to search and replace all "ptrdiff_t" instance with something else. That said, I think that's not reasonable to always require very specific terms just to make it simpler to search for them: on one hand, we know that "naming things" is very difficult, OTOH there a possibly better approaches to look for terms in a specific context ("syntax aware grep"[1] comes to mind). ciao, lele. [1] https://github.com/osa1/sg -- nickname: Lele Gaifax | Quando vivrò di quello che ho pensato ieri real: Emanuele Gaifas | comincerò ad aver paura di chi mi copia. lele@metapensiero.it | -- Fortunato Depero, 1929.