From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.org!.POSTED!not-for-mail From: Drew Adams Newsgroups: gmane.emacs.devel Subject: RE: If records are not sequences, why does aref work on records? Date: Fri, 7 Apr 2017 11:30:16 -0700 (PDT) Message-ID: References: <86pogo4vty.fsf@molnjunk.nocrew.org> <8360igof0k.fsf@gnu.org> <867f2w4qdk.fsf@molnjunk.nocrew.org> <0e6a0a16-8133-b2bc-404a-d0016f0c655e@cs.ucla.edu> <86h9202knq.fsf@molnjunk.nocrew.org> <4f2a1d4c-8703-4f07-a721-ea28c348631d@default> <864ly02i1m.fsf@molnjunk.nocrew.org> NNTP-Posting-Host: blaine.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable X-Trace: blaine.gmane.org 1491589884 24951 195.159.176.226 (7 Apr 2017 18:31:24 GMT) X-Complaints-To: usenet@blaine.gmane.org NNTP-Posting-Date: Fri, 7 Apr 2017 18:31:24 +0000 (UTC) To: Lars Brinkhoff , emacs-devel@gnu.org Original-X-From: emacs-devel-bounces+ged-emacs-devel=m.gmane.org@gnu.org Fri Apr 07 20:31:20 2017 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 1cwYfC-0005Qc-5O for ged-emacs-devel@m.gmane.org; Fri, 07 Apr 2017 20:31:14 +0200 Original-Received: from localhost ([::1]:52174 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1cwYfI-00018P-3B for ged-emacs-devel@m.gmane.org; Fri, 07 Apr 2017 14:31:20 -0400 Original-Received: from eggs.gnu.org ([2001:4830:134:3::10]:45020) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1cwYeT-00016l-1k for emacs-devel@gnu.org; Fri, 07 Apr 2017 14:30:29 -0400 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1cwYeO-0004AY-55 for emacs-devel@gnu.org; Fri, 07 Apr 2017 14:30:29 -0400 Original-Received: from userp1040.oracle.com ([156.151.31.81]:47235) by eggs.gnu.org with esmtps (TLS1.0:DHE_RSA_AES_256_CBC_SHA1:32) (Exim 4.71) (envelope-from ) id 1cwYeN-0004AC-Qs for emacs-devel@gnu.org; Fri, 07 Apr 2017 14:30:24 -0400 Original-Received: from aserv0021.oracle.com (aserv0021.oracle.com [141.146.126.233]) by userp1040.oracle.com (Sentrion-MTA-4.3.2/Sentrion-MTA-4.3.2) with ESMTP id v37IULrT022244 (version=TLSv1 cipher=DHE-RSA-AES256-SHA bits=256 verify=OK); Fri, 7 Apr 2017 18:30:21 GMT Original-Received: from aserv0121.oracle.com (aserv0121.oracle.com [141.146.126.235]) by aserv0021.oracle.com (8.13.8/8.14.4) with ESMTP id v37IUKNh024927 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-SHA bits=256 verify=OK); Fri, 7 Apr 2017 18:30:21 GMT Original-Received: from abhmp0006.oracle.com (abhmp0006.oracle.com [141.146.116.12]) by aserv0121.oracle.com (8.13.8/8.13.8) with ESMTP id v37IUHxG007927; Fri, 7 Apr 2017 18:30:18 GMT In-Reply-To: <864ly02i1m.fsf@molnjunk.nocrew.org> X-Priority: 3 X-Mailer: Oracle Beehive Extensions for Outlook 2.0.1.9.1 (1003210) [OL 12.0.6753.5000 (x86)] X-Source-IP: aserv0021.oracle.com [141.146.126.233] X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.4.x-2.6.x [generic] [fuzzy] X-Received-From: 156.151.31.81 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:213772 Archived-At: > > If the intention is to add a new kind of sequence, for > > example to add a record type and have it be considered > > a type of sequence, then I think it should support all > > sequence features, just like other sequences. > > > > If it does not support everything intended by "sequence" > > then I think we should not present it as a sequence. In > > particular, it should not be documented as a sequence in > > that case. > > > > As to what a sequence is, one guide is to refer to Common > > Lisp, which carefully defines sequences and sequence > > operations. >=20 > So what do you think about the byte-code type, which supports many, but > not all, sequence operations? Is that a long-standing bug? I know nothing about it; sorry. If it is then it is. Emacs, like Common Lisp, should have a well-defined sequence type. We aren't required to model ours on CL's, but other things being equal it wouldn't be a bad idea to look to CL for guidance/inspiration. Just one opinion.