From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.org!.POSTED!not-for-mail From: =?UTF-8?Q?Cl=c3=a9ment_Pit-Claudel?= Newsgroups: gmane.emacs.devel Subject: Re: Making 'eq' == 'eql' in bignum branch Date: Tue, 28 Aug 2018 14:00:28 -0400 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: text/plain; charset=utf-8 Content-Transfer-Encoding: 8bit X-Trace: blaine.gmane.org 1535480139 32034 195.159.176.226 (28 Aug 2018 18:15:39 GMT) X-Complaints-To: usenet@blaine.gmane.org NNTP-Posting-Date: Tue, 28 Aug 2018 18:15:39 +0000 (UTC) User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:52.0) Gecko/20100101 Thunderbird/52.9.1 To: emacs-devel@gnu.org Original-X-From: emacs-devel-bounces+ged-emacs-devel=m.gmane.org@gnu.org Tue Aug 28 20:15:35 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 1fuiWd-0008Dq-GQ for ged-emacs-devel@m.gmane.org; Tue, 28 Aug 2018 20:15:35 +0200 Original-Received: from localhost ([::1]:39314 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1fuiYj-0004xM-Px for ged-emacs-devel@m.gmane.org; Tue, 28 Aug 2018 14:17:45 -0400 Original-Received: from eggs.gnu.org ([2001:4830:134:3::10]:48909) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1fuiYN-0003RK-7I for emacs-devel@gnu.org; Tue, 28 Aug 2018 14:17:26 -0400 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1fuiI5-0005yz-FT for emacs-devel@gnu.org; Tue, 28 Aug 2018 14:00:37 -0400 Original-Received: from mail-qk0-x22e.google.com ([2607:f8b0:400d:c09::22e]:40535) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1fuiI5-0005wY-6S for emacs-devel@gnu.org; Tue, 28 Aug 2018 14:00:33 -0400 Original-Received: by mail-qk0-x22e.google.com with SMTP id c126-v6so1593433qkd.7 for ; Tue, 28 Aug 2018 11:00:32 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=subject:to:references:from:message-id:date:user-agent:mime-version :in-reply-to:content-language:content-transfer-encoding; bh=d8+zOqpFL/xGPxFTNJ1nrwGVFy+4d8q/Id5I5FqGopI=; b=Ir82UmBc+khE4J8JBp2pCGHcex8njnTj5sc2nuWxTwzeRiOLB+OtxKbQABRsfuWfb3 TcHac4/vibA0oUQ7D4nfDLZjlTd6kE31ToDSgU5qJuZysZLgV50Jn1tC06qfX6PYhcIA 6QTpRvVDwQh7RV462/pv7i0UTUYyLFKXA7LrHGaWL+2POzoE+Oeu4GBkB3Zfv+5K9Oax RpbDjIEm3eQX9Ze8nHettyGhAIvud1rqfcnmxHzB+6y0tjeWzG9pwGhdETgaFKxiv/K9 zC0gBcbCVGhTQl55Z1gyulvPlq+BX0x3gBCsdv1gR7xvopgG/Y0xMLYV+e1iyBGfB3VY ZWeA== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:subject:to:references:from:message-id:date :user-agent:mime-version:in-reply-to:content-language :content-transfer-encoding; bh=d8+zOqpFL/xGPxFTNJ1nrwGVFy+4d8q/Id5I5FqGopI=; b=G0BCAH3ZHUaZ3KfGFzhQG6UK/FD6P1h03OKDA0BNcaL5YT9F0xsciThpXFAapFFJtd BIcu6Jx14m+YskuMt2gegIg8TDc1nLIX0l/MoqbHfVwxmTxdKFcZjdefI3wdLEjXXzDT gKD5xWA29s6b/miGxeaXKRraNuj1YHhD9lPFeJm6sr9myZnw3+wAkFF6YY1Fm2vl3KCm sue14N4DtxISezhbphDqZZIS20tJ3s3yLF131CULzysRf2ZPIKyJcO1kCk3WIJd2PqJe maOXzs2PDamrc+alWYQ0tF5/rR1eXl4O2l8AblS9ua8fiP4L+KetGg0HamGZRv11DDG2 gEfQ== X-Gm-Message-State: APzg51AcnoZbzrAESE8g/4TpHNGuYtAbR9eyLe8ShLB45XRtNv/jA6Os +DtjjEcBvmPWn3hq/WQliAfLFgyO X-Google-Smtp-Source: ANB0VdbmHe/QrY+Cl+VSyMdvnIESLlbHjrBvb2o8czDa6qly0kDLG14LtJLAcTtIq3OEIXGA9UYD0w== X-Received: by 2002:a37:6292:: with SMTP id w140-v6mr2803015qkb.258.1535479232415; Tue, 28 Aug 2018 11:00:32 -0700 (PDT) Original-Received: from [18.26.2.123] (26-2-123.dynamic.csail.mit.edu. [18.26.2.123]) by smtp.gmail.com with ESMTPSA id a66-v6sm900628qkf.96.2018.08.28.11.00.31 for (version=TLS1_2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128/128); Tue, 28 Aug 2018 11:00:31 -0700 (PDT) In-Reply-To: Content-Language: en-GB X-detected-operating-system: by eggs.gnu.org: Genre and OS details not recognized. X-Received-From: 2607:f8b0:400d:c09::22e 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:229024 Archived-At: On 2018-08-28 08:15, Stefan Monnier wrote: >> If “1.0e+INF” is hard to remember, how about defining symbols “+inifinity” > Pip's suggestion is to use (max) for that. I think you read Pip's suggestion backward: (max) would return -infinity, not +infinity. (Which makes sense, since you want max to distribute over list concatenation) 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.