a simple counter-proposal
campbell@xxxxxx
(28 Aug 2004 15:52 UTC)
|
Re: a simple counter-proposal
felix
(30 Aug 2004 19:54 UTC)
|
Re: a simple counter-proposal
campbell@xxxxxx
(30 Aug 2004 20:21 UTC)
|
Re: a simple counter-proposal felix (30 Aug 2004 20:26 UTC)
|
Re: a simple counter-proposal
campbell@xxxxxx
(03 Sep 2004 17:14 UTC)
|
Re: a simple counter-proposal
felix
(06 Sep 2004 19:22 UTC)
|
Re: a simple counter-proposal felix 30 Aug 2004 20:34 UTC
xxxxxx@autodrip.bloodandcoffee.net wrote: > On Mon, 30 Aug 2004, felix wrote: > > >>xxxxxx@autodrip.bloodandcoffee.net wrote: >> >>> (program (requires srfi-1)) >>> (display (iota 5)) >>> >>>which retains all existing functionality of SRFI 7 -- the feature >>>conditionalization -- and all brevity of SRFI 55's REQUIRE-EXTENSION -- >>>it's only a single character longer, in fact --; furthermore, it is >>>still compatible with module systems such as that of Scheme48, because >>>the module data -- the configuration language -- is _still_ entirely >>>disjoint from Scheme, unlike the present SRFI 55's REQUIRE-EXTENSION; >>>the configuration language is very clearly separated from Scheme in >>>that the PROGRAM form is the first in the file, and every following S- >>>expression is Scheme. I propose that SRFI 55 be revised to define this >>>amendment/extension to SRFI 7, which I expect will satisfy the demands >>>in brevity of Felix as well as retain the functionality of SRFIs 0 & 7, >>>and moreover still be as extremely portable as SRFI 7. >> >>Just one question: what makes >> >>(program (required srfi-1)) >>(display (iota 5)) >> >>more portable (in the sense of being compatible with S48's module system), >>than >> >>(require-extension (srfi 1)) >>(display (iota 55)) >> >>??? >> >>(provided SRFI-55 is changed in such a way that it's recommended >>use is as the first expression in a file) > > > Felix, I spent a significant portion of my last paragraph there in > answering that question before you even asked it. The PROGRAM form is > _not_ in Scheme; it's in an _entirely_disjoint_ configuration language. > REQUIRE-EXTENSION as you propose would become a part of the _Scheme_ > language; it would essentially extend the <command or definition> > nonterminal in R5RS with a new option. Yes, so what prevents `require-extension' to be such a disjoint config-language form? If I understand correctly merely requiring that `require-extension' should be the first form in the program text (directly, not as an expansion of another macro) would make it compatible with Scheme48, right? cheers, felix