From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.org!not-for-mail From: "Mikael Djurfeldt" Newsgroups: gmane.lisp.guile.devel Subject: Re: [PATCH] Avoid `SCM_VALIDATE_LIST ()' Date: Sun, 7 Sep 2008 01:11:14 +0200 Message-ID: <66e540fe0809061611m12f14e8lea685871c7f1e8cd@mail.gmail.com> References: <87hc90u9lb.fsf@gnu.org> <49dd78620809011409w8902d24q5734da921d6dfbff@mail.gmail.com> <87bpz7h72h.fsf@gnu.org> Reply-To: mikael@djurfeldt.com NNTP-Posting-Host: lo.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable X-Trace: ger.gmane.org 1220742694 26407 80.91.229.12 (6 Sep 2008 23:11:34 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Sat, 6 Sep 2008 23:11:34 +0000 (UTC) Cc: guile-devel@gnu.org To: "=?ISO-8859-1?Q?Ludovic_Court=E8s?=" Original-X-From: guile-devel-bounces+guile-devel=m.gmane.org@gnu.org Sun Sep 07 01:12:29 2008 Return-path: Envelope-to: guile-devel@m.gmane.org Original-Received: from lists.gnu.org ([199.232.76.165]) by lo.gmane.org with esmtp (Exim 4.50) id 1Kc6xA-0005E1-4C for guile-devel@m.gmane.org; Sun, 07 Sep 2008 01:12:28 +0200 Original-Received: from localhost ([127.0.0.1]:53694 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.43) id 1Kc6w9-0008Hg-IX for guile-devel@m.gmane.org; Sat, 06 Sep 2008 19:11:25 -0400 Original-Received: from mailman by lists.gnu.org with tmda-scanned (Exim 4.43) id 1Kc6w6-0008HP-RD for guile-devel@gnu.org; Sat, 06 Sep 2008 19:11:22 -0400 Original-Received: from exim by lists.gnu.org with spam-scanned (Exim 4.43) id 1Kc6w4-0008HD-FU for guile-devel@gnu.org; Sat, 06 Sep 2008 19:11:21 -0400 Original-Received: from [199.232.76.173] (port=52952 helo=monty-python.gnu.org) by lists.gnu.org with esmtp (Exim 4.43) id 1Kc6w4-0008HA-Ak for guile-devel@gnu.org; Sat, 06 Sep 2008 19:11:20 -0400 Original-Received: from yx-out-1718.google.com ([74.125.44.154]:19445) by monty-python.gnu.org with esmtp (Exim 4.60) (envelope-from ) id 1Kc6w3-0005hn-3f for guile-devel@gnu.org; Sat, 06 Sep 2008 19:11:20 -0400 Original-Received: by yx-out-1718.google.com with SMTP id 34so637584yxf.66 for ; Sat, 06 Sep 2008 16:11:14 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=gamma; h=domainkey-signature:received:received:message-id:date:from:reply-to :sender:to:subject:cc:in-reply-to:mime-version:content-type :content-transfer-encoding:content-disposition:references :x-google-sender-auth; bh=vUbltGfTOyJkjLvcrBJFU6lcWrQ8KXyPkdxTx/A+Tmw=; b=Cra0rPEnHG8ICK9J5m0vwFWnL3c21faRetzplGebpTmAvwri2HOfuYzRRQ3P+C8Xkl oIzX/vAYdgbF39qDuUj70m9U0V+aiudArk4Xr83Maz/+ykyU8RGQ+6ISZ/ocXNFrDbtV IButywOg66a/0z/dhWB2rUw30ozeHwIlSpsQI= DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma; h=message-id:date:from:reply-to:sender:to:subject:cc:in-reply-to :mime-version:content-type:content-transfer-encoding :content-disposition:references:x-google-sender-auth; b=lcxXo3S7smFy/HMOMD8kNGCq1DSRsGERANSgQXv8SqDZmpkp03NfPf2Kwbcj+dKhvp +mTIzJ2ub2RlqPFz3Mt8ZDdzkCbWNVmZu4QuYqRA0W24SmC1MWZTfIlvOR6p6hlsg51V G/xwAdX/UkFxkkwczHBWsqhh8TnVKePKlW7RY= Original-Received: by 10.151.142.16 with SMTP id u16mr18858199ybn.209.1220742674306; Sat, 06 Sep 2008 16:11:14 -0700 (PDT) Original-Received: by 10.150.201.18 with HTTP; Sat, 6 Sep 2008 16:11:14 -0700 (PDT) In-Reply-To: <87bpz7h72h.fsf@gnu.org> Content-Disposition: inline X-Google-Sender-Auth: 1bc116f7ede0217c X-detected-kernel: by monty-python.gnu.org: Linux 2.6 (newer, 2) X-BeenThere: guile-devel@gnu.org X-Mailman-Version: 2.1.5 Precedence: list List-Id: "Developers list for Guile, the GNU extensibility library" List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Original-Sender: guile-devel-bounces+guile-devel=m.gmane.org@gnu.org Errors-To: guile-devel-bounces+guile-devel=m.gmane.org@gnu.org Xref: news.gmane.org gmane.lisp.guile.devel:7600 Archived-At: 2008/9/1 Ludovic Court=E8s : >> Are you sure about traversing circular lists? From my reading of your >> patch, I would expect: >> >> (memq 'not-in-the-list some-circular-list) >> =3D> >> (don't know, still waiting...) > > Yes, that's what I meant by "happily traverse circular lists". :-) >From my experience, there was a huge improvement in scheme program development time when we moved to real type-checking of lists from the kind of type-checking you seem to want to re-introduce. It's much easier to debug code if you can assume that hangs are not due to circular data structures. Having been part of Guile development for some time, it's sad to see how much work is put into changing code back and forth due to vacillating development goals. It's apparent how important it is to have a written development policy with design decisions and motivations. Probably a lot of that should also be put directly into the code in the form of comments.