From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.io!.POSTED.blaine.gmane.org!not-for-mail From: =?utf-8?Q?Mattias_Engdeg=C3=A5rd?= Newsgroups: gmane.emacs.devel Subject: Re: Inferred function types in the *Help* buffer Date: Thu, 1 Jun 2023 19:53:07 +0200 Message-ID: References: <83o7manh0e.fsf@gnu.org> Mime-Version: 1.0 (Mac OS X Mail 14.0 \(3654.120.0.1.15\)) Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: quoted-printable Injection-Info: ciao.gmane.io; posting-host="blaine.gmane.org:116.202.254.214"; logging-data="11681"; mail-complaints-to="usenet@ciao.gmane.io" Cc: Andrea Corallo , Eli Zaretskii , emacs-devel To: Andrea Corallo Original-X-From: emacs-devel-bounces+ged-emacs-devel=m.gmane-mx.org@gnu.org Thu Jun 01 20:32:43 2023 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 1q4n6J-0002nE-5p for ged-emacs-devel@m.gmane-mx.org; Thu, 01 Jun 2023 20:32:43 +0200 Original-Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1q4n5f-0001Z0-VA; Thu, 01 Jun 2023 14:32:03 -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 1q4mU6-0007xm-J9 for emacs-devel@gnu.org; Thu, 01 Jun 2023 13:53:14 -0400 Original-Received: from mail-lj1-x230.google.com ([2a00:1450:4864:20::230]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1q4mU4-0004lk-Vw; Thu, 01 Jun 2023 13:53:14 -0400 Original-Received: by mail-lj1-x230.google.com with SMTP id 38308e7fff4ca-2b14b4fa3a9so15216021fa.0; Thu, 01 Jun 2023 10:53:11 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20221208; t=1685641989; x=1688233989; h=to:references:message-id:content-transfer-encoding:cc:date :in-reply-to:from:subject:mime-version:sender:from:to:cc:subject :date:message-id:reply-to; bh=8j2GSTXjFcpxR3o+royb49Slu1U4OUrn/zFZv4H7ghA=; b=drErMpkfPemH3dA68kax5UjN7uHtELEOTmszJ3/eUxQPtLDduxrevOU+BcwddtECaj 1ijXu/rt4XZv2jNvV48lRpBJuse9atbSQ4k6Vaq/tT+kFwxUOADkRq85qqbIwHuvhlMZ m9+W0b5Lkiru0ucnVundmO6cEB0s/na49sV+Fbu124xx4lfnsMVmppv6zisoqRoM8XGg 4YWSLewTQh5C8V4Q2boUrE89ymfE3prx5ko4dM68Uf6LdL7EQpC/9luYHB4zt0mPSac5 cZevwP0IS6p+eF0Hdyz3pW4lhYEAFaHzJxR8AGRjbRtlySfoFNEEvFNh6LNA8wTuhrzS HUTA== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20221208; t=1685641989; x=1688233989; h=to:references:message-id:content-transfer-encoding:cc:date :in-reply-to:from:subject:mime-version:sender:x-gm-message-state :from:to:cc:subject:date:message-id:reply-to; bh=8j2GSTXjFcpxR3o+royb49Slu1U4OUrn/zFZv4H7ghA=; b=T/s+hDH13DqP+txvt6X6P/+bL/dhdi/H7yS/QMnOmumnIrnufw4kswBMXWuTCowVq3 uHR6d3JWF0gYpudIMGmGOIzyvOU61j8xQrtNFVk0O8fnwLNjay4mh50I3Jyk6iNk4QxF FPONvXJ+n5yZahXDTIZIEPsh4ehXCwN+ucLIHRjpvycFbjDUb/b0OZn1KQD1nheDNc6b I4oZwqRk6Ovz4htP82EG1Tsnpme/24MZLWPme5j1vX1MG+wasrtV7wDE9zUJtCEFdC1j C3v/uSxZrdg01vciX1E4uDpN9UYsAwcX0niAiBWKt3ycGpw+2hV2KJm9Ddiz2Obq+i9s HlcA== X-Gm-Message-State: AC+VfDx8s19vXoYs9DjMPYdlujgW3xKi8O3sWchyb78R6eRVq70tHk8x /i+Z+hvz7dzbwasl1fdxxh3Gf5xd5+4= X-Google-Smtp-Source: ACHHUZ47/qQNS8Jn/tQE5PSNXqHfbDaADyUSIMvjr8DRuDM+sXPOoqT4Lh/yXecgt2j5EeKhaeWL7w== X-Received: by 2002:a2e:9dd0:0:b0:2a8:dce8:2d13 with SMTP id x16-20020a2e9dd0000000b002a8dce82d13mr141408ljj.14.1685641989212; Thu, 01 Jun 2023 10:53:09 -0700 (PDT) Original-Received: from smtpclient.apple (c188-150-165-235.bredband.tele2.se. [188.150.165.235]) by smtp.gmail.com with ESMTPSA id r11-20020a2e994b000000b002ac7b0fc473sm3827921ljj.38.2023.06.01.10.53.08 (version=TLS1_2 cipher=ECDHE-ECDSA-AES128-GCM-SHA256 bits=128/128); Thu, 01 Jun 2023 10:53:08 -0700 (PDT) In-Reply-To: X-Mailer: Apple Mail (2.3654.120.0.1.15) Received-SPF: pass client-ip=2a00:1450:4864:20::230; envelope-from=mattias.engdegard@gmail.com; helo=mail-lj1-x230.google.com X-Spam_score_int: -20 X-Spam_score: -2.1 X-Spam_bar: -- X-Spam_report: (-2.1 / 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, FREEMAIL_FROM=0.001, RCVD_IN_DNSWL_NONE=-0.0001, SPF_HELO_NONE=0.001, SPF_PASS=-0.001, T_SCC_BODY_TEXT_LINE=-0.01 autolearn=ham autolearn_force=no X-Spam_action: no action X-Mailman-Approved-At: Thu, 01 Jun 2023 14:31:54 -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:306525 Archived-At: 1 juni 2023 kl. 17.10 skrev Andrea Corallo : > It's just a very concise and effective way to express the input/output > value/types of the function. I, for one, find it very useful. If we want to be as nice as possible to the user then perhaps we should = massage the output a bit. For instance, the `function` part is useless, and using the names of the = arguments would be very helpful. In other words, instead of describing `make-string` as (function (integer fixnum &optional t) string) we could say something like LENGTH:integer INIT:fixnum MULTIBYTE -> string (Not sure how practical it is, I'm just making this up.) How concise are inferred types, for that matter? I can imagine them = becoming pretty voluminous. By the way, `expt` should have the return type `number`, not `float`. = This is just something I noticed in passing; I haven't done any = systematic review.