From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.org!.POSTED!not-for-mail From: =?UTF-8?Q?Elias_M=C3=A5rtenson?= Newsgroups: gmane.emacs.devel Subject: Re: Making 'eq' == 'eql' in bignum branch Date: Wed, 29 Aug 2018 11:22:01 +0800 Message-ID: References: <29f933ac-a6bf-8742-66a7-0a9d6d3e5a88@disroot.org> <765767b2-d2e5-a9a6-f724-d58ecf4847bb@cs.ucla.edu> <76081b5d-8c10-0a37-2c97-d4864c0faa80@cs.ucla.edu> <09153aed-361d-4f82-d9ac-b502314769ae@cs.ucla.edu> <83lg91dqd4.fsf@gnu.org> <0F8F6E54-176C-48EE-9E7C-7CAC424D0D55@raeburn.org> NNTP-Posting-Host: blaine.gmane.org Mime-Version: 1.0 Content-Type: multipart/alternative; boundary="0000000000000d64f605748a778d" X-Trace: blaine.gmane.org 1535512825 24376 195.159.176.226 (29 Aug 2018 03:20:25 GMT) X-Complaints-To: usenet@blaine.gmane.org NNTP-Posting-Date: Wed, 29 Aug 2018 03:20:25 +0000 (UTC) Cc: emacs-devel To: cpitclaudel@gmail.com Original-X-From: emacs-devel-bounces+ged-emacs-devel=m.gmane.org@gnu.org Wed Aug 29 05:20:21 2018 Return-path: Envelope-to: ged-emacs-devel@m.gmane.org Original-Received: from lists.gnu.org ([208.118.235.17]) by blaine.gmane.org with esmtp (Exim 4.84_2) (envelope-from ) id 1fur1o-0006C4-Lj for ged-emacs-devel@m.gmane.org; Wed, 29 Aug 2018 05:20:20 +0200 Original-Received: from localhost ([::1]:40972 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1fur3v-0007rm-0R for ged-emacs-devel@m.gmane.org; Tue, 28 Aug 2018 23:22:31 -0400 Original-Received: from eggs.gnu.org ([2001:4830:134:3::10]:51790) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1fur3l-0007qw-TX for emacs-devel@gnu.org; Tue, 28 Aug 2018 23:22:22 -0400 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1fur3j-0001KF-Tg for emacs-devel@gnu.org; Tue, 28 Aug 2018 23:22:21 -0400 Original-Received: from mail-io0-x22f.google.com ([2607:f8b0:4001:c06::22f]:35055) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1fur3g-0001I6-Vv for emacs-devel@gnu.org; Tue, 28 Aug 2018 23:22:17 -0400 Original-Received: by mail-io0-x22f.google.com with SMTP id w11-v6so3268585iob.2 for ; Tue, 28 Aug 2018 20:22:15 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=mime-version:references:in-reply-to:from:date:message-id:subject:to :cc; bh=31LtA3aLMqg1xxLNAgXnJpaggOxAUyeqIRTq0h3ucGU=; b=c4kQpFjWIMiS1pTik9WI4vpICM8FEtN12V0+GjVK+NUKEHG0k1hS6/XpgOZCs96f8j MH9323tzNJv3cqyHMH1X4FNwIvaImGJ3+JCgvm04/m9htp/RwB1+XHl4EeDjHgWpTDz2 mt6SFUetk5aFTHso3Lb7FOw7yFUZkducqeLqlBIzScHsKxPKUiLfgMluxyvyQyP9GVk+ 9zjbFe3IPNa8bJFV5mYrAOT3oxrgIUYDXi+j7n5Xevd93FGVg8gQldFXXhk9IAlPImwC +JpVBCaWx3PYKNkd2asihqN+7z8DJTaURMjx4Rx32EQMRyPc/iR4GdZ8YSh/ltx6+1bu Aj4w== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:mime-version:references:in-reply-to:from:date :message-id:subject:to:cc; bh=31LtA3aLMqg1xxLNAgXnJpaggOxAUyeqIRTq0h3ucGU=; b=VEqIJxor4xaDF2hdheRBLvZmfavVRqIiIIlz/SiN2FAsOhI4unoBevT/NvGdG2tThE Gd+TvGLjzwHpLIY9RlzUZPRneTDAJzXkDkfdJIBg7WPU0N2uo0lkdCUrUAaaIF8JqhSu IxoVaJXT6IS7ZjtbdW4ts2+WfACVwzVGEI7Gds1bjTRZ1AaaUtg5ZfH0IDC7pxUedKBo ekHhjzGt7GLIvRmTBSyVxW/fwrU3jpDeN+EY9anS7QxkqmNgTBZWw7NPSRH7ZaqoGGTo ukC8Iy7dH4q7yp1JRQt5qnXI2cBo2Ok5velojfweORpitYsZeAK9dVL03RGJ06jaRFdI yhQQ== X-Gm-Message-State: APzg51BGKULtUnn7WJn0GXygEKfvotUafNAUOUr1bW20Ux3xHPgT+FQ3 9ODtRx0Oxtf1tTxce/aYfx0NL3YMZxULfncI8G8= X-Google-Smtp-Source: ANB0Vdbweng2iriQSQNH8T52LCKhgSQs0v44+aMSZA4AIm4dDTiqJA8413wj7+XGeyg7fKPR1bWEhGbH+flQLUxGZmA= X-Received: by 2002:a6b:7117:: with SMTP id q23-v6mr3786845iog.37.1535512935227; Tue, 28 Aug 2018 20:22:15 -0700 (PDT) In-Reply-To: X-detected-operating-system: by eggs.gnu.org: Genre and OS details not recognized. X-Received-From: 2607:f8b0:4001:c06::22f X-BeenThere: emacs-devel@gnu.org X-Mailman-Version: 2.1.21 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.org@gnu.org Original-Sender: "Emacs-devel" Xref: news.gmane.org gmane.emacs.devel:229036 Archived-At: --0000000000000d64f605748a778d Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable On Wed, 29 Aug 2018 at 02:19, Cl=C3=A9ment Pit-Claudel wrote: > FWIW, I'm not a fan of using either (min) or (max) to represent minus > infinity; it looks a bit odd. Many other languages have an infinity > constant already, so that pattern is well established; making (max) an > alias for either of the infinities is prone to introducing confusion. > For anyone curious, the way to do it in APL is =E2=8C=88/=E2=8D=AC and =E2= =8C=8A/=E2=8D=AC, which literally means take the max and min values of an empty list, so it's not completely unheard of. Regards, Elias --0000000000000d64f605748a778d Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
On Wed, 29 Aug 2018 at 02:19, Cl=C3=A9ment Pit-Claudel <= ;cpitclaudel@gmail.com> wro= te:
=C2=A0
FWIW, I'm not a fan of using either (min) or = (max) to represent minus infinity; it looks a bit odd.=C2=A0 Many other lan= guages have an infinity constant already, so that pattern is well establish= ed; making (max) an alias for either of the infinities is prone to introduc= ing confusion.

For anyone curious, the = way to do it in APL is =E2=8C=88/=E2=8D=AC and =E2=8C=8A/=E2=8D=AC, which l= iterally means take the max and min values of an empty list, so it's no= t completely unheard of.

Regards,
El= ias
--0000000000000d64f605748a778d--