From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.io!.POSTED.blaine.gmane.org!not-for-mail From: Adam Porter Newsgroups: gmane.emacs.devel Subject: Re: Declaring Lisp function types Date: Sat, 24 Feb 2024 03:08:35 -0600 Message-ID: <2827f3df-8eb2-431e-8491-f772e988474a@alphapapa.net> References: <389657c1-3bc5-4577-82a1-df4244ed5d58@alphapapa.net> <86v86ez6af.fsf@gnu.org> <87y1baz1i0.fsf@neko.mail-host-address-is-not-set> Mime-Version: 1.0 Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 7bit Injection-Info: ciao.gmane.io; posting-host="blaine.gmane.org:116.202.254.214"; logging-data="13124"; mail-complaints-to="usenet@ciao.gmane.io" User-Agent: Mozilla Thunderbird Cc: acorallo@gnu.org, emacs-devel@gnu.org To: Tomas Hlavaty , Eli Zaretskii Original-X-From: emacs-devel-bounces+ged-emacs-devel=m.gmane-mx.org@gnu.org Sat Feb 24 10:09:50 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 1rdo2X-0003CN-Lm for ged-emacs-devel@m.gmane-mx.org; Sat, 24 Feb 2024 10:09:50 +0100 Original-Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1rdo1V-0000xA-Kg; Sat, 24 Feb 2024 04:08:45 -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 1rdo1T-0000wj-9Q for emacs-devel@gnu.org; Sat, 24 Feb 2024 04:08:43 -0500 Original-Received: from aye.elm.relay.mailchannels.net ([23.83.212.6]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1rdo1R-0006pK-K6; Sat, 24 Feb 2024 04:08:43 -0500 X-Sender-Id: dreamhost|x-authsender|adam@alphapapa.net Original-Received: from relay.mailchannels.net (localhost [127.0.0.1]) by relay.mailchannels.net (Postfix) with ESMTP id 79F1F8190C; Sat, 24 Feb 2024 09:08:38 +0000 (UTC) Original-Received: from pdx1-sub0-mail-a292.dreamhost.com (unknown [127.0.0.6]) (Authenticated sender: dreamhost) by relay.mailchannels.net (Postfix) with ESMTPA id 12B2281819; Sat, 24 Feb 2024 09:08:38 +0000 (UTC) ARC-Seal: i=1; s=arc-2022; d=mailchannels.net; t=1708765718; a=rsa-sha256; cv=none; b=KnFJztqRJhl5xs3DSLEELkYYQfWW7Dh7Dk2FXYJ4+F9ajtySEs8D4jBHRfL0OnbnBHSiU3 jVNtGcvJrf2xV/sLvUPkvrrAz43XCbZAA+5qoF1vjpLFZRwY+iIjTL8OAULWZXN0bRGqaA 1M6VL4/J5ODfT/sE6yh581135j7Z874nxoLCZRqXi8MfkonWJ2xjNulpuNzoHhGjzYKNmy 42U6uLk/m7eY5yUV2BOofqacRqpqlSF9YW276eIW7j+s78HuCOaXsv7vrgjFlFQUtP9pqh HK0kIl8Zz4FAug2cIrVgph9AakpkygovLGoC6wgzkeud+IpuDLSX/0j5XXWT6w== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=mailchannels.net; s=arc-2022; t=1708765718; h=from:from:reply-to:subject:subject:date:date:message-id:message-id: to:to:cc:cc:mime-version:mime-version:content-type:content-type: content-transfer-encoding:content-transfer-encoding: in-reply-to:in-reply-to:references:references:dkim-signature; bh=iE869KH10r8UrezMnjzO1avPZoOwymjJEsru08dSHB8=; b=k7boWtbbo4sov6zHjX89y401NGlI09t65cjEsse3YvpWOJrDLB2FJR54ZCewPAl9LEaV1w 98za/MM3lfxtkCzLCNqhnp2AQIH9zwmqjGDX94GUymr+QvadBtKGbWtlZkqC1gx7/fz+Ow srQhqM2YO3VykeSzgeM5j7R4cmSOPdm4dx5fD8PN+LuPSFf0IBKFHeGrMVyvpTORChu3Lh JAIcDBuOv9I874kUfkrVkCmTmBQf5kT0laEz8BpTPFeNDjSNEyTjL7wO1p/aR9cgnbX7id 82okeqL5wmdz0bgz7qZ924EHqBmST4nztMExtN3mxoTXjs78dBgY99deIRVlIQ== ARC-Authentication-Results: i=1; rspamd-6bdc45795d-cstm6; auth=pass smtp.auth=dreamhost smtp.mailfrom=adam@alphapapa.net X-Sender-Id: dreamhost|x-authsender|adam@alphapapa.net X-MC-Relay: Neutral X-MailChannels-SenderId: dreamhost|x-authsender|adam@alphapapa.net X-MailChannels-Auth-Id: dreamhost X-Towering-Scare: 26d22c696f344798_1708765718324_1477621792 X-MC-Loop-Signature: 1708765718324:1503260693 X-MC-Ingress-Time: 1708765718324 Original-Received: from pdx1-sub0-mail-a292.dreamhost.com (pop.dreamhost.com [64.90.62.162]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384) by 100.119.153.122 (trex/6.9.2); Sat, 24 Feb 2024 09:08:38 +0000 Original-Received: from [10.157.2.182] (unknown [45.130.83.59]) (using TLSv1.3 with cipher TLS_AES_128_GCM_SHA256 (128/128 bits) key-exchange X25519 server-signature RSA-PSS (2048 bits) server-digest SHA256) (No client certificate requested) (Authenticated sender: adam@alphapapa.net) by pdx1-sub0-mail-a292.dreamhost.com (Postfix) with ESMTPSA id 4Thgz916N5zZ3; Sat, 24 Feb 2024 01:08:36 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=alphapapa.net; s=dreamhost; t=1708765717; bh=iE869KH10r8UrezMnjzO1avPZoOwymjJEsru08dSHB8=; h=Date:Subject:To:Cc:From:Content-Type:Content-Transfer-Encoding; b=Uhb900IT7rArA98MPhC+9ukb2E3f4cmn9JtlGYfid2qO50mTEZXvVGpv/GPiUABjz 6zAiZKWL7633FdaejTjPkfJDSFSJjO8EDYNiQ6nqQ21Q9FCTvJQS5A4HgjFrfKOi4m Pl7HsyezWR0OHwVsb40Cz3uo0rODhzcmFUx2ITlC9t9Kw6gfhgXvBNc3j6JznrJHS8 Bnd6EtCiV3pvIeJYb0vrGXEtsxfGVVmgrnIk1Di/wu9e5wxQHz2RByOVTjKcDELNyJ /9lAQP99Q45rXO2Rz/4+RPAOCqtEwLAg9SyS1OKtfcN1NIOks6yLbDJs8aKAuJ9x7+ sCujkln2XNS8Q== Content-Language: en-US In-Reply-To: <87y1baz1i0.fsf@neko.mail-host-address-is-not-set> Received-SPF: neutral client-ip=23.83.212.6; envelope-from=adam@alphapapa.net; helo=aye.elm.relay.mailchannels.net X-Spam_score_int: -12 X-Spam_score: -1.3 X-Spam_bar: - X-Spam_report: (-1.3 / 5.0 requ) BAYES_00=-1.9, DKIM_SIGNED=0.1, DKIM_VALID=-0.1, DKIM_VALID_AU=-0.1, DKIM_VALID_EF=-0.1, RCVD_IN_DNSWL_NONE=-0.0001, RCVD_IN_MSPIKE_H3=0.001, RCVD_IN_MSPIKE_WL=0.001, SPF_HELO_NONE=0.001, SPF_NEUTRAL=0.779, T_SCC_BODY_TEXT_LINE=-0.01 autolearn=no autolearn_force=no X-Spam_action: no action 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:316484 Archived-At: On 2/24/24 02:53, Tomas Hlavaty wrote: > On Sat 24 Feb 2024 at 09:10, Eli Zaretskii wrote: >>> (declare (type (integer integer) integer)) >> FWIW, Andrea's proposal looks more descriptive to me. "Type" is too >> general, whereas "function" is more specific. > > both are hard to grep for which is inconvenient "(declare (type" would be hard to grep for? Wouldn't that be a unique string in Elisp code? I can't find any matches for that in master.