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: (declare (type (function... Date: Fri, 10 May 2024 02:47:19 -0400 Message-ID: References: Mime-Version: 1.0 Content-Type: text/plain Injection-Info: ciao.gmane.io; posting-host="blaine.gmane.org:116.202.254.214"; logging-data="8750"; mail-complaints-to="usenet@ciao.gmane.io" User-Agent: Gnus/5.13 (Gnus v5.13) Cc: emacs-devel@gnu.org To: Marco Antoniotti Original-X-From: emacs-devel-bounces+ged-emacs-devel=m.gmane-mx.org@gnu.org Fri May 10 08:47:57 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 1s5K2v-00023g-H0 for ged-emacs-devel@m.gmane-mx.org; Fri, 10 May 2024 08:47:57 +0200 Original-Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1s5K2S-0007fn-2J; Fri, 10 May 2024 02:47:31 -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 1s5K2L-0007fU-It for emacs-devel@gnu.org; Fri, 10 May 2024 02:47:21 -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 1s5K2K-0003XF-OT; Fri, 10 May 2024 02:47:20 -0400 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=rccgBbyGmqHb3yVKcxcjUPva7rb5Ktbr/86M5ekpveM=; b=BjtSg93dFi9FOdGKKur9 ZryLH4usf0cKKS04xXehvB4Sn616kOd58buVGM5W14Z3nBL+Mf4Pn+QCt4JfW39wob4dCux+qmhzH Yb9NXJXPQq3W/NWR6bjZyTHuWE0TiiwQF9VdO9dIw65zI/TTJcPcf1w6El6F9pP4cl2ca92MmR3rp AP+xosQ2kpuSDksr6N2tnyZackSlKUWHEQy6A/aCme8eF9taq6L6Wo0Bn8oN7Xhsb2RmzRhk42xIV kxRQQGhCAaAEw87LZ4oApnLJTd0sVKHBx91KjVO9USjHl5ZYaaMLwso91KPR+uLeuAsXz500ho0+x Jd83fxPRZJdRbw==; Original-Received: from acorallo by fencepost.gnu.org with local (Exim 4.90_1) (envelope-from ) id 1s5K2K-0006Ya-HI; Fri, 10 May 2024 02:47:20 -0400 In-Reply-To: (Marco Antoniotti's message of "Wed, 8 May 2024 13:36:50 +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:319110 Archived-At: Marco Antoniotti writes: > Ciao Andrea > > The presentation I attended gave me the idea of "ranting talks" at the next ELS :) > > Having said so, I now think that, to save goat and cabbage, what you want is > > (defun foo (x y) > (declare (ftype (function (integer number) number) foo)) > (+ x y)) > > Common lispers can live with that. > > All the best > > MA Ciao Mario, not sure what maintainers think about it, I'm not in love with this solution because one has to repeat 'foo' two times and we don't support anyway unsing declare inside a function to declare another one. Mmmhh Andrea