[r6rs-discuss] [Formal] Trivial Enhancement of macros in v5.91: capture-syntax

From: Andre van Tonder <andre>
Date: Wed Nov 29 15:09:40 2006

On Tue, 28 Nov 2006, AndrevanTonder wrote:

> On Tue, 28 Nov 2006, Abdulaziz Ghuloum wrote:
>
>>
>> On Nov 28, 2006, at 9:28 AM, AndrevanTonder wrote:
>>
>>> This seems to be an example where negative phases are unavoidable in
>>> phased models.
>>
>> Splitting the library into two components was also unavoidable, wasn't it?
>
> I believe so...

By the way, this is for me a feature, given the kinds of things I am
interested in doing with libraries. The inadvisability of mixing code in the
ground language and code in the meta-language at the same apparent syntactic
level in an unsplit library becomes obvious once I call my ground language Java
and my meta-language Scheme, or call my ground language Lazy Scheme and my
meta-language Scheme. I like having a library system that can help me keep
these distinctions straight, with static guarantees, by forcing me to be
explicit about them.

I know you guys have different applications in mind, for which you have
argued these constraints not to be relevant, and I am not disputing that.

Cheers
Andre
Received on Wed Nov 29 2006 - 13:03:46 UTC

This archive was generated by hypermail 2.3.0 : Wed Oct 23 2024 - 09:15:00 UTC