From mboxrd@z Thu Jan  1 00:00:00 1970
Path: news.gmane.io!.POSTED.blaine.gmane.org!not-for-mail
From: Eli Zaretskii <eliz@gnu.org>
Newsgroups: gmane.emacs.devel
Subject: Re: [External] : Re: Declaring Lisp function types
Date: Mon, 26 Feb 2024 18:54:24 +0200
Message-ID: <86frxfupxb.fsf@gnu.org>
References: <yp15xyf88yb.fsf@fencepost.gnu.org>
 <E1reRpN-0005zR-Fi@fencepost.gnu.org>
 <SJ0PR10MB5488BD20DA263BAD8EBDE90AF35A2@SJ0PR10MB5488.namprd10.prod.outlook.com>
Injection-Info: ciao.gmane.io; posting-host="blaine.gmane.org:116.202.254.214";
	logging-data="7354"; mail-complaints-to="usenet@ciao.gmane.io"
Cc: rms@gnu.org, acorallo@gnu.org, emacs-devel@gnu.org
To: Drew Adams <drew.adams@oracle.com>
Original-X-From: emacs-devel-bounces+ged-emacs-devel=m.gmane-mx.org@gnu.org Mon Feb 26 17:55:00 2024
Return-path: <emacs-devel-bounces+ged-emacs-devel=m.gmane-mx.org@gnu.org>
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 <emacs-devel-bounces+ged-emacs-devel=m.gmane-mx.org@gnu.org>)
	id 1reeFo-0001fi-ER
	for ged-emacs-devel@m.gmane-mx.org; Mon, 26 Feb 2024 17:55:00 +0100
Original-Received: from localhost ([::1] helo=lists1p.gnu.org)
	by lists.gnu.org with esmtp (Exim 4.90_1)
	(envelope-from <emacs-devel-bounces@gnu.org>)
	id 1reeFS-0003ph-15; Mon, 26 Feb 2024 11:54:38 -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 <eliz@gnu.org>) id 1reeFP-0003pN-V6
 for emacs-devel@gnu.org; Mon, 26 Feb 2024 11:54:35 -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 <eliz@gnu.org>)
 id 1reeFP-00078a-JV; Mon, 26 Feb 2024 11:54:35 -0500
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=IqrrTenobQOYCO4MGXodJP8JYyqDf71hCjoaw9sLByY=; b=B1/elyVlnJ0x
 6R97wnmry4E8NyeRWdZ4zyKUlVEIIB4RaxSj35rU9a4/dc2Q+RizvwBvhN4W4iPg9o40qoOENdYc5
 VD0t67i+jEMVbHz2ZAUZQw3fmgjYQRsHrO60pHUTELmcdMEaQUgvMx9RmePnO/UlmCMVAxQ+9J666
 Ex5wzYKbbRRKBIN+4DKmBxxY9xeRqkgI3mpwSDRLDLbHGtgK0qmNutW3BeB9s/x9aDY0so45GC7OM
 iEym54vJru6/PVSobZneUluIDZab4mH28Ytedgsc8Lp/Qivg/D+Q2AAseYZRWXis6NeDE8kd1J1z8
 yZ0YfX+iQDQMgfjQdj/J+w==;
In-Reply-To: <SJ0PR10MB5488BD20DA263BAD8EBDE90AF35A2@SJ0PR10MB5488.namprd10.prod.outlook.com>
 (message from Drew Adams on Mon, 26 Feb 2024 16:38:34 +0000)
X-BeenThere: emacs-devel@gnu.org
X-Mailman-Version: 2.1.29
Precedence: list
List-Id: "Emacs development discussions." <emacs-devel.gnu.org>
List-Unsubscribe: <https://lists.gnu.org/mailman/options/emacs-devel>,
 <mailto:emacs-devel-request@gnu.org?subject=unsubscribe>
List-Archive: <https://lists.gnu.org/archive/html/emacs-devel>
List-Post: <mailto:emacs-devel@gnu.org>
List-Help: <mailto:emacs-devel-request@gnu.org?subject=help>
List-Subscribe: <https://lists.gnu.org/mailman/listinfo/emacs-devel>,
 <mailto:emacs-devel-request@gnu.org?subject=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:316570
Archived-At: <http://permalink.gmane.org/gmane.emacs.devel/316570>

> From: Drew Adams <drew.adams@oracle.com>
> CC: "emacs-devel@gnu.org" <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.