From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.io!.POSTED.blaine.gmane.org!not-for-mail From: Andrea Corallo Newsgroups: gmane.emacs.devel Subject: Re: [External] : Re: Declaring Lisp function types Date: Mon, 26 Feb 2024 12:44:26 -0500 Message-ID: References: <86frxfupxb.fsf@gnu.org> Mime-Version: 1.0 Content-Type: text/plain Injection-Info: ciao.gmane.io; posting-host="blaine.gmane.org:116.202.254.214"; logging-data="12482"; mail-complaints-to="usenet@ciao.gmane.io" User-Agent: Gnus/5.13 (Gnus v5.13) Cc: Drew Adams , rms@gnu.org, emacs-devel@gnu.org To: Eli Zaretskii Original-X-From: emacs-devel-bounces+ged-emacs-devel=m.gmane-mx.org@gnu.org Mon Feb 26 18:45:16 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 1ref2S-00030t-1k for ged-emacs-devel@m.gmane-mx.org; Mon, 26 Feb 2024 18:45:16 +0100 Original-Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1ref1u-0004Hi-NZ; Mon, 26 Feb 2024 12:44:42 -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 1ref1s-0004Bw-Pn for emacs-devel@gnu.org; Mon, 26 Feb 2024 12:44:40 -0500 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 1ref1r-0008ER-V7; Mon, 26 Feb 2024 12:44:40 -0500 DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=gnu.org; s=fencepost-gnu-org; h=MIME-Version:Date:References:In-Reply-To:Subject:To: From; bh=FOx05MEYQ4EIW+OIdipJNBjjK1BDMSbC5T8ikf2LKsc=; b=IqlitKBOMNtS9pOC1eA7 uQXZj88aYU/RtHHi5r9XIGPU8zuq7n6vQjONawU7jY7ODN8dBdbwk1fIqrtnG0Pae/gwKmrqbT9hC TLh8aQsnm7dgI/wHMMurA5dRno7iLvjOFKOBelVeEfHhs2xXRL7JlqwEoAt0EMKrMY4nHcnvgmpEs 2O/ynJXmWRZ7y9TDfLX+x4xbAshj82qeC/AKWE/Hln+1Hte4/J44RJr5PXMdBTusE+gEW2UKuKRK9 sxDgVV73PFaBHRXPQgJbn5vV6qpom+U3NYnlhVTgDHgue6cXqm+rztthd8e43sYZE+ahgAGwFN1c/ +NT3Omr5zmO+Dw==; Original-Received: from acorallo by fencepost.gnu.org with local (Exim 4.90_1) (envelope-from ) id 1ref1e-0002RB-Rd; Mon, 26 Feb 2024 12:44:26 -0500 In-Reply-To: <86frxfupxb.fsf@gnu.org> (Eli Zaretskii's message of "Mon, 26 Feb 2024 18:54:24 +0200") 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:316575 Archived-At: Eli Zaretskii writes: >> From: Drew Adams >> CC: "emacs-devel@gnu.org" >> Date: Mon, 26 Feb 2024 16:38:34 +0000 >> >> > What is the goal of supporting function type >> > declarations in Emacs Lisp? >> >> Do you mean the expected types of args? >> If so, see the CLTL2 doc I pointed to. >> >> In particular, declaring the type of >> an arg can help a compiler produce >> more efficient code. > > I think in our case it's somewhat different: the native-compiler needs > this information to DTRT with code generation. But I'll let Andrea > explain this. Hi Eli, sorry I was a bit late today on all this thread, I think I aswered this in my reply to Richard. Thanks Andrea