From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.org!not-for-mail From: Alex Shinn Newsgroups: gmane.lisp.guile.devel Subject: Re: TODO list for Guile R7RS support Date: Thu, 23 Feb 2012 10:39:34 +0900 Message-ID: References: <87vcngvbif.fsf@netris.org> <87zkcao755.fsf@pobox.com> NNTP-Posting-Host: plane.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable X-Trace: dough.gmane.org 1329961182 26189 80.91.229.3 (23 Feb 2012 01:39:42 GMT) X-Complaints-To: usenet@dough.gmane.org NNTP-Posting-Date: Thu, 23 Feb 2012 01:39:42 +0000 (UTC) Cc: Mark H Weaver , guile-devel@gnu.org To: Andy Wingo Original-X-From: guile-devel-bounces+guile-devel=m.gmane.org@gnu.org Thu Feb 23 02:39:41 2012 Return-path: Envelope-to: guile-devel@m.gmane.org Original-Received: from lists.gnu.org ([140.186.70.17]) by plane.gmane.org with esmtp (Exim 4.69) (envelope-from ) id 1S0Nem-0007Pg-So for guile-devel@m.gmane.org; Thu, 23 Feb 2012 02:39:41 +0100 Original-Received: from localhost ([::1]:37123 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1S0Nem-0006TP-3n for guile-devel@m.gmane.org; Wed, 22 Feb 2012 20:39:40 -0500 Original-Received: from eggs.gnu.org ([140.186.70.92]:47547) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1S0Nej-0006TK-Sd for guile-devel@gnu.org; Wed, 22 Feb 2012 20:39:38 -0500 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1S0Nei-00070R-J4 for guile-devel@gnu.org; Wed, 22 Feb 2012 20:39:37 -0500 Original-Received: from mail-ee0-f41.google.com ([74.125.83.41]:48488) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1S0Nei-0006z8-8c for guile-devel@gnu.org; Wed, 22 Feb 2012 20:39:36 -0500 Original-Received: by eekc13 with SMTP id c13so279345eek.0 for ; Wed, 22 Feb 2012 17:39:34 -0800 (PST) Received-SPF: pass (google.com: domain of alexshinn@gmail.com designates 10.213.29.207 as permitted sender) client-ip=10.213.29.207; Authentication-Results: mr.google.com; spf=pass (google.com: domain of alexshinn@gmail.com designates 10.213.29.207 as permitted sender) smtp.mail=alexshinn@gmail.com; dkim=pass header.i=alexshinn@gmail.com Original-Received: from mr.google.com ([10.213.29.207]) by 10.213.29.207 with SMTP id r15mr203376ebc.53.1329961174438 (num_hops = 1); Wed, 22 Feb 2012 17:39:34 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=gamma; h=mime-version:in-reply-to:references:date:message-id:subject:from:to :cc:content-type:content-transfer-encoding; bh=+FrkMtkexx51UAoPu3+vFuD+ij+85d55FbLXxwPdsmQ=; b=PlcGX2BArQfuSyhDQWqkxWnXsbay5VT5J4BVLEAUckaod3IAcLLcdJ3MkN27gMrldD wwR8ZVFB2nQSw3P9Xjn81MsxkAEAq+S10Sg0KNg+/UTh1ur5BGFzmcsyHIhBCT/h/s19 LTMVlc3slB1+EsYrOqBjJwOSKe/4Wl6h0CImU= Original-Received: by 10.213.29.207 with SMTP id r15mr151954ebc.53.1329961174364; Wed, 22 Feb 2012 17:39:34 -0800 (PST) Original-Received: by 10.213.4.203 with HTTP; Wed, 22 Feb 2012 17:39:34 -0800 (PST) In-Reply-To: <87zkcao755.fsf@pobox.com> X-detected-operating-system: by eggs.gnu.org: Genre and OS details not recognized. X-Received-From: 74.125.83.41 X-BeenThere: guile-devel@gnu.org X-Mailman-Version: 2.1.14 Precedence: list List-Id: "Developers list for Guile, the GNU extensibility library" List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guile-devel-bounces+guile-devel=m.gmane.org@gnu.org Original-Sender: guile-devel-bounces+guile-devel=m.gmane.org@gnu.org Xref: news.gmane.org gmane.lisp.guile.devel:13928 Archived-At: On Thu, Feb 23, 2012 at 7:06 AM, Andy Wingo wrote: > >> * datum labels for circular and shared substructures > > Yes! Note this is one thing a reference implementation will be provided for. >> * nan? and finite? now accept complex numbers >> =A0 (should probably change inf? and infinite? as well) > > Do you need to file a bug with the spec? =A0Have you? A complex number is nan? if either component is nan. A complex number is finite? if both components are finite. Implementations may not necessarily support complex numbers with nan or inf components. >> * R7RS exceptions > > Are they like R6RS exceptions? Yes, just the exceptions with no condition hierarchy. > The semantics of the interaction of guard with dynamic wind is still > batshit crazy, and I hope guard doesn't make it into the spec as is. Not disagreeing, but you'll need to clarify what about it is crazy and ideally provide an alternative :) >> * define-library > > A big one, and something to check in the newer specs.. It hasn't change much and shouldn't be too hard. >> * vector->string and string->vector > > Real wtf procedures, if you ask me... Agreed. >> * write bytevectors with #u8 (and elements in hex) by default? > > Is this incompatible wrt srfi-4? R7RS says nothing about the base. So long as you write with a prefix, e.g. #u8(#xFF ...) this is compatible with SRFI-4. >> * make sure {map,vector-map,string-map} are multi-return safe > > This is an interesting one. =A0It would be nice to have expandable stacks > so we can do the straightforward implementation. =A0Dunno. The straightforward implementation doesn't need expandable stacks. Basically, all you need to do is avoid mutation - i.e. cons up a list and reverse at the end. We will also provide a reference implementation of this. --=20 Alex