[r6rs-discuss] (no subject)

[Sam TH]

On Mon, Feb 23, 2009 at 8:15 AM, David Rush <kumoyuki at gmail.com> wrote:
> 2009/2/23 Sam TH <samth at ccs.neu.edu>:
>> On Mon, Feb 23, 2009 at 5:14 AM, David Rush <kumoyuki at gmail.com> wrote:
>>> I figure everyone ignores me as a crank :) But Lambda really
>>> is the ultimate modularization construct.
>>
>> Sadly, while it is an excellent modularization construct for values,
>> lambda has little to say about modularization for static things, of
>> which macros are only the most obvious.
>
> What I am more curious about is what other "static things" you are
> thinking of. Type definitions? Data structures?

Here's a partial list of things defined (at least optionally)
statically in PLT Scheme (all using the syntax system, but not macros
in the traditional sense):

- static information about structure definitions, useful for pattern
matching among other things
- unit signatures
- unit definitions (optionally, for automated linking)
- types, in Typed Scheme
- custom expanders for `match', the foreign library, require and
provide, the `for' loop macros, and other libraries
- interfaces (optionally, for checking sends)
- pattern variables for `syntax-case'

-- 
sam th
samth at ccs.neu.edu