From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.org!not-for-mail From: Andy Wingo Newsgroups: gmane.lisp.guile.devel Subject: Re: TODO list for Guile R7RS support Date: Wed, 22 Feb 2012 23:06:14 +0100 Message-ID: <87zkcao755.fsf@pobox.com> References: <87vcngvbif.fsf@netris.org> NNTP-Posting-Host: plane.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii X-Trace: dough.gmane.org 1329948388 4443 80.91.229.3 (22 Feb 2012 22:06:28 GMT) X-Complaints-To: usenet@dough.gmane.org NNTP-Posting-Date: Wed, 22 Feb 2012 22:06:28 +0000 (UTC) Cc: guile-devel@gnu.org To: Mark H Weaver Original-X-From: guile-devel-bounces+guile-devel=m.gmane.org@gnu.org Wed Feb 22 23:06:26 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 1S0KKP-0002ww-QW for guile-devel@m.gmane.org; Wed, 22 Feb 2012 23:06:26 +0100 Original-Received: from localhost ([::1]:33449 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1S0KKP-0002Yh-8M for guile-devel@m.gmane.org; Wed, 22 Feb 2012 17:06:25 -0500 Original-Received: from eggs.gnu.org ([140.186.70.92]:33682) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1S0KKL-0002Xq-FS for guile-devel@gnu.org; Wed, 22 Feb 2012 17:06:23 -0500 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1S0KKJ-0001YD-I1 for guile-devel@gnu.org; Wed, 22 Feb 2012 17:06:21 -0500 Original-Received: from a-pb-sasl-sd.pobox.com ([74.115.168.62]:41162 helo=sasl.smtp.pobox.com) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1S0KKJ-0001Xx-Eh for guile-devel@gnu.org; Wed, 22 Feb 2012 17:06:19 -0500 Original-Received: from sasl.smtp.pobox.com (unknown [127.0.0.1]) by a-pb-sasl-sd.pobox.com (Postfix) with ESMTP id DF79C71E0; Wed, 22 Feb 2012 17:06:18 -0500 (EST) DKIM-Signature: v=1; a=rsa-sha1; c=relaxed; d=pobox.com; h=from:to:cc :subject:references:date:in-reply-to:message-id:mime-version :content-type; s=sasl; bh=/XUNKb0mjffc7SOkjyA4VOemvk4=; b=nGOh/g n7jveQkFu5+UrdemXxXCrn/DDfxX3Wwy68ae8FInCruIwAXA08WvtvLzrOa9Gqj1 DFe2WsTFrN9mnmeaaTfV8b+Uo9nbJsFlmxb6ykXWuDwFcGRFf0XtRQ3jO5S7nFbk P8+1eLBQq8O1TYCewvjco3zNPZb7gEuu3p31E= DomainKey-Signature: a=rsa-sha1; c=nofws; d=pobox.com; h=from:to:cc :subject:references:date:in-reply-to:message-id:mime-version :content-type; q=dns; s=sasl; b=mrbezCEK+sixLxu+foRsdrdVevNUOuAW aVsoRjlhYe0MM5os75FJoPoNFvHvHO1Z/o8Zpi03vwKE7yNgL+oiGWUUsmk3k1k7 MJCI9qMnDWhYhejVUfRwGRX3quJnav+WGv0qb7fzmzVecYeBCEl09y34U5EKImBi E2wij4oX7sg= Original-Received: from a-pb-sasl-sd.pobox.com (unknown [127.0.0.1]) by a-pb-sasl-sd.pobox.com (Postfix) with ESMTP id D417771DF; Wed, 22 Feb 2012 17:06:18 -0500 (EST) Original-Received: from badger (unknown [90.164.198.39]) (using TLSv1 with cipher DHE-RSA-AES256-SHA (256/256 bits)) (No client certificate requested) by a-pb-sasl-sd.pobox.com (Postfix) with ESMTPSA id 0A6CE71DE; Wed, 22 Feb 2012 17:06:17 -0500 (EST) In-Reply-To: <87vcngvbif.fsf@netris.org> (Mark H. Weaver's message of "Thu, 09 Feb 2012 00:09:12 -0500") User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/23.3 (gnu/linux) X-Pobox-Relay-ID: 7205F8EE-5DA1-11E1-A236-65B1DE995924-02397024!a-pb-sasl-sd.pobox.com X-detected-operating-system: by eggs.gnu.org: Solaris 10 (beta) X-Received-From: 74.115.168.62 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:13927 Archived-At: Hi Mark! Hope all is well. I'm behind as usual. Just an additional perspective here. On Thu 09 Feb 2012 06:09, Mark H Weaver writes: > R7RS TODO I think you probably agree, but we should be clear about it in any case: the current drafts are not final. I look forward to R7RS being a report that Guile can happily support. However I think there is room for some discussion on various points, before the final version comes out :) Most things are well-thought-out and I won't comment on them. > * let-values and let*-values (without loading SRFI-11) This and other "what bindings are visible" questions can be solved without affecting Guile's default environment, as Guile supports `library' without having R6RS libs in its default environment. That said, it might make sense to expose more bindings to the default environment. The mounting number of bindings makes me cringe, but hey, maybe it's the right thing? Dunno. > * |...| symbol notation, and \xXX within symbols I'm looking forward to |...|. \xXX are r6rs hex escapes, which are off by default it seems. Should we turn it on by default? > * support \xXXXX in string literals Again, supported, but off by default currently; to flip in 2.2? > * allow whitespace between \ and newline in string literals A bug in the spec, I think: http://thread.gmane.org/gmane.lisp.guile.bugs/4859/focus=4873 > * #true and #false Yes! > * datum labels for circular and shared substructures Yes! > * nan? and finite? now accept complex numbers > (should probably change inf? and infinite? as well) Do you need to file a bug with the spec? Have you? > * R7RS exceptions Are they like R6RS exceptions? 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. > * define-library A big one, and something to check in the newer specs.. > * vector->string and string->vector Real wtf procedures, if you ask me... > * write bytevectors with #u8 (and elements in hex) by default? Is this incompatible wrt srfi-4? > * {map,for-each} stops when shortest list runs out WDYT about this? > * string-{map,for-each} accepts multiple strings > * vector-{map,for-each} Bleh... > * make sure {map,vector-map,string-map} are multi-return safe This is an interesting one. It would be nice to have expandable stacks so we can do the straightforward implementation. Dunno. Just some off the cuff thoughts. Happy hacking! Andy -- http://wingolog.org/