From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.io!.POSTED.blaine.gmane.org!not-for-mail From: Eli Zaretskii Newsgroups: gmane.emacs.devel Subject: Re: Declaring Lisp function types Date: Tue, 26 Mar 2024 14:55:40 +0200 Message-ID: <8634sdjgoj.fsf@gnu.org> References: Injection-Info: ciao.gmane.io; posting-host="blaine.gmane.org:116.202.254.214"; logging-data="18663"; mail-complaints-to="usenet@ciao.gmane.io" Cc: emacs-devel@gnu.org, stefankangas@gmail.com, adam@alphapapa.net, monnier@iro.umontreal.ca, arthur.miller@live.com To: Andrea Corallo Original-X-From: emacs-devel-bounces+ged-emacs-devel=m.gmane-mx.org@gnu.org Tue Mar 26 13:56:38 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 1rp6M1-0004cZ-DY for ged-emacs-devel@m.gmane-mx.org; Tue, 26 Mar 2024 13:56:37 +0100 Original-Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1rp6LG-0005uy-By; Tue, 26 Mar 2024 08:55:50 -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 1rp6LE-0005ud-HD for emacs-devel@gnu.org; Tue, 26 Mar 2024 08:55:48 -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 1rp6LD-0004aV-1K; Tue, 26 Mar 2024 08:55:47 -0400 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=TBcHlQvgGFrOphL2IeD6tjrTv0IodgC5QBel8SglnOM=; b=fwOQrYTAqD2r Ylf+USZDtniUiXh3uEf7j4XgYzS7dPd5zJX4KT7rKT2+85AiJqBYKEhWGcNZqWuYzAhMpxT+XneJa nfOpPtZKMJjvaoaTygDiTim3P1gY/m1wysNFoBjzw+h5U3D/y/wICKhOiuGEEyeU4sK09GBrQUY21 YUQ42L+ih4bVF0UVEqO8XzxAEzGIimdHebQNSvr+w6r+DU19xIhmwiaB2NazQIw0vOzNmN00pbziI 9uf9y126qprTYr0HTbJG3IWqgKvab8pLTUnzbHjaVupqokqMEO5d8I2oBtF/DcRYrv4qc8EPvggLU H2MXLkSZqXowEnrAvJd8iw==; In-Reply-To: (message from Andrea Corallo on Tue, 26 Mar 2024 06:13:26 -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:317300 Archived-At: > From: Andrea Corallo > Cc: Eli Zaretskii , Stefan Kangas , > Adam Porter , Stefan Monnier > , Arthur Miller > Date: Tue, 26 Mar 2024 06:13:26 -0400 > > Andrea Corallo writes: > > To make a summary of my understanding of this conversation on the > various options so far: > > A couple of people mentioned would be a good idea to consider CL's > syntax but this is problematic for how our declare machinery works. > > I think Eli and I preferred solution 1. > > Stefan suggested we go for 2 as it's more verbose (and this should > discourage users at using it too much). > > Adam strongly opposed to 1 as it conflicts with his proposal [1] but > AFAIU he agreed later on that thread on another solution so I guess the > conflict should not be there anymore. > > If I've miss-summarized any opinion indeed please feel free to rectify. I think your summary is okay. Very few people responded with opinions anyway. > I think we should make a decision (maintainers) so we can progress on > this. Are you opposed to (2), i.e. (defun sum (a b) (declare (type (function (integer integer) integer))) (+ a b)) If not, I can live with it, and we have 3 people who are okay with it.