From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.io!.POSTED.blaine.gmane.org!not-for-mail From: Yuri Khan Newsgroups: gmane.emacs.help Subject: Re: [External] : Re: How to make M-x TAB not work on (interactive) declaration? Date: Mon, 16 Jan 2023 17:41:49 +0700 Message-ID: References: <61c2cc81db661e2624771a06a1274eac.support1@rcdrun.com> <87y1qdct5m.fsf@gnu.org> <874jt0imh0.fsf@dataswamp.org> Mime-Version: 1.0 Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable Injection-Info: ciao.gmane.io; posting-host="blaine.gmane.org:116.202.254.214"; logging-data="22582"; mail-complaints-to="usenet@ciao.gmane.io" To: tomas@tuxteam.de, help-gnu-emacs@gnu.org, =?UTF-8?Q?Rudolf_Adamkovi=C4=8D?= Original-X-From: help-gnu-emacs-bounces+geh-help-gnu-emacs=m.gmane-mx.org@gnu.org Mon Jan 16 11:42:50 2023 Return-path: Envelope-to: geh-help-gnu-emacs@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 1pHMx0-0005is-2z for geh-help-gnu-emacs@m.gmane-mx.org; Mon, 16 Jan 2023 11:42:50 +0100 Original-Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1pHMwI-00089V-HH; Mon, 16 Jan 2023 05:42:06 -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 1pHMwG-00088N-Pn for help-gnu-emacs@gnu.org; Mon, 16 Jan 2023 05:42:04 -0500 Original-Received: from mail-wr1-x42e.google.com ([2a00:1450:4864:20::42e]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1pHMwE-0000Lb-Kx for help-gnu-emacs@gnu.org; Mon, 16 Jan 2023 05:42:04 -0500 Original-Received: by mail-wr1-x42e.google.com with SMTP id z5so25971853wrt.6 for ; Mon, 16 Jan 2023 02:42:02 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20210112; h=content-transfer-encoding:to:subject:message-id:date:from :in-reply-to:references:mime-version:from:to:cc:subject:date :message-id:reply-to; bh=mB9b5IVRLdDak6GXanUnhwIw254SjU+nD19QaA9Qzt4=; b=VYGiaONw7YTxcR/EoOESRF0DUnxQQFYYDQI8AMBVq945yu59UNHXzsJAJ0FAoCVyEG 1fPXHBDlA81HkO6L669qgj3wNAjX1pGK4YTjib10enPEFOTXtGe1mIoW8GZFGlps3zEf QKr9Ho0FKjDCmTnoj8xdsbBdzFEP1mnEB4MxkYdHlZ7jjvx+mycR+ihHQ+YqmWWNXJKL R40uF0UZ0IXWxXs7Q15PaV54ieM88vSO6nisqWZTodqQ5u3Y1XSb7RAlyQgvV2XE4dIF 7rl+rLSTnvjJ1A8TfUyJz3MVM7Hu4H+t3bWzD+OQ8JrTMNQNlM22xCgVyIoKDoKkRZet wTIw== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20210112; h=content-transfer-encoding:to:subject:message-id:date:from :in-reply-to:references:mime-version:x-gm-message-state:from:to:cc :subject:date:message-id:reply-to; bh=mB9b5IVRLdDak6GXanUnhwIw254SjU+nD19QaA9Qzt4=; b=C1AsqaBY04uWD93sb0AEJAALs8Q4qMKryM0tk+cU2r4spYJ9UjfTd2Sr1phOTzVgpL PnZGanFAxbS0dlf5LAz+Zz5D4nEZeYZkXSLlLnXVnybcX1R0NRXRJzsXQTyltT/eQ0PA zwEzVAXPqZwj4TrdEFTt9TrFQnjX1iKQsLU3AeDA0tIf6EE7l/Pjj1WMO/yc6ORJLHLO Kl7ODHmCo8LXTF32WCTHPNCG1+5lAl8iFKnPAmY9XeQ6lvMYWwJaLdTR98wvFpkv/18t qUP6utx2Tatay7d3uKGeDFww1S6h9BPxReEb0qnu+C2uJhoRW/ViWx1xGqgyUDOk2JHu 580A== X-Gm-Message-State: AFqh2kpLF2ZgwDOrAwXhvk46qLtcJAXIGg/xCIe2J81bB4bsu8Kwmu9X FxJToXEcmeyPgsybgbh9yKybwy44Qt2qh5zCg9s= X-Google-Smtp-Source: AMrXdXvvtlbGPwi6gGcGKpopdWmEE8S0dzbHxe0Wiauo+vpSMjZq8bFiPbUBanFMJ0UiApGDpa2HPRxEutppHHsRSf8= X-Received: by 2002:adf:ee88:0:b0:2ba:fd20:fd82 with SMTP id b8-20020adfee88000000b002bafd20fd82mr850091wro.427.1673865721080; Mon, 16 Jan 2023 02:42:01 -0800 (PST) In-Reply-To: Received-SPF: pass client-ip=2a00:1450:4864:20::42e; envelope-from=yurivkhan@gmail.com; helo=mail-wr1-x42e.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 autolearn=ham autolearn_force=no X-Spam_action: no action X-BeenThere: help-gnu-emacs@gnu.org X-Mailman-Version: 2.1.29 Precedence: list List-Id: Users list for the GNU Emacs text editor List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: help-gnu-emacs-bounces+geh-help-gnu-emacs=m.gmane-mx.org@gnu.org Original-Sender: help-gnu-emacs-bounces+geh-help-gnu-emacs=m.gmane-mx.org@gnu.org Xref: news.gmane.io gmane.emacs.help:142267 Archived-At: On Mon, 16 Jan 2023 at 17:17, Jean Louis wrote: > (*) =E2=9E=9C 1 > (+) =E2=9E=9C 0 > (/) Wrong number of arguments: / > (-) =E2=9E=9C 0 > > The question why is not yet clear to me. Why is it in Lisp so? Subtraction and division are not monoid operations. As such, they do not have an associated identity value. They also choose to handle the single argument case specially: (- x) is equivalent to (- 0 x) and (/ x) is equivalent to (/ 1 x). Making (/) return the multiplicative identity would be consistent though.