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: Type declarations in Elisp
Date: Mon, 21 Aug 2023 14:13:31 +0300
Message-ID: <83r0nwveas.fsf@gnu.org>
References: <87il984vxv.fsf@localhost>
 <03fc79f4-a532-71b1-0de9-8e52bdf3f138@gmail.com>
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="28359"; mail-complaints-to="usenet@ciao.gmane.io"
Cc: yantar92@posteo.net, drew.adams@oracle.com, emacs-devel@gnu.org,
 incal@dataswamp.org
To: Gerd =?utf-8?Q?M=C3=B6llmann?= <gerd.moellmann@gmail.com>
Original-X-From: emacs-devel-bounces+ged-emacs-devel=m.gmane-mx.org@gnu.org Mon Aug 21 13:13:39 2023
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 1qY2qp-0007GQ-79
	for ged-emacs-devel@m.gmane-mx.org; Mon, 21 Aug 2023 13:13:39 +0200
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 1qY2qY-0000hd-I4; Mon, 21 Aug 2023 07:13:23 -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 <eliz@gnu.org>) id 1qY2qU-0000g5-I2
 for emacs-devel@gnu.org; Mon, 21 Aug 2023 07:13:18 -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 <eliz@gnu.org>)
 id 1qY2qS-0002KL-SM; Mon, 21 Aug 2023 07:13:17 -0400
DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=gnu.org;
 s=fencepost-gnu-org; h=MIME-version:References:Subject:In-Reply-To:To:From:
 Date; bh=YIiDTcCV0zKENSi9qvGASqpNpQuH2GkAna/IhWAHWN4=; b=m9KPeDjs4lU7e8oPA7sn
 7JAh5aSP5JBIqEaXJFTKPFs8HF+7PqpaU0SLY7LBM7sV7vWOIPGHpFvU+Kwryj0rLYuiv1OcHXDux
 TlhgOX9ghSfrkzVz+4EIUtaKJ/v2+RP20JEhkI83o9hjRQ+jJmHx9/M7j1HJ9/uIcbvvyRei4nsbw
 0giTVI8qJRPTTFfDF7yKWvjlFJ/xHHaUq3pleGxvj6szu+0KPoau1ufGGb3IHaBCFxQt7gjB1jN3C
 KXGB8mmS097tSVW+YnYxu4wMqtfHK/2g8265tlHRYl44EFXYfs7JwlaPk0k/vaf4zA8PKb85en058
 e678eQpEGR3fdg==;
In-Reply-To: <03fc79f4-a532-71b1-0de9-8e52bdf3f138@gmail.com> (message from
 Gerd =?utf-8?Q?M=C3=B6llmann?= on Mon, 21 Aug 2023 11:30:45 +0200)
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:309057
Archived-At: <http://permalink.gmane.org/gmane.emacs.devel/309057>

> Date: Mon, 21 Aug 2023 11:30:45 +0200
> Cc: drew.adams@oracle.com, emacs-devel@gnu.org, incal@dataswamp.org
> From: Gerd Möllmann <gerd.moellmann@gmail.com>
> 
> > I am wondering if type, ftype, and inline declarations could be added to
> > Elisp. Native compilation already uses a fixed set of ftype
> > declarations, but it cannot be modified and cannot be declared
> > per-defun.
> 
> I'd rather see some profile runs first that show where in some typical 
> (tm) native-compiled ELisp program how much time is spent.

100% agreement.