This site is a static rendering of the Trac instance that was used by R7RS-WG1 for its work on R7RS-small (PDF), which was ratified in 2013. For more information, see Home.

Source for wiki FactoringModuleProposals version 3

author

alexshinn

comment

adding module type and phasing note from Arthur's survey

ipnr

114.164.144.170

name

FactoringModuleProposals

readonly

text

== Factoring Module Proposals ==

This is an attempt to factor ModulesShinn, the `library` and `module` parts of ModulesAndPackagesArcfide, and ModulesGanz into features that they have or don't have, to make decisions easier.  I have neglected purely syntactic features like the names and ordering constraints of forms and keywords.

||Feature||r6rs||shinn||hsu-library||hsu-module||ganz||
||Module Type||static||static||syntactic||syntactic||syntactic||
||Top-level only||Yes||Yes||Yes||No||No||
||Name||List||List||List||Identifier||Identifier||
||Anonymous self-importing modules||No||No||No||Yes||Yes||
||File inclusion within module||Yes||Yes||Yes||Yes||No||
||Body||Implicit||Explicit||Implicit||Implicit||Implicit||
||Import single identifiers||???||No||No||Yes||Yes||
||Import qualifiers: `only` `except` `rename` `prefix`||Yes||Yes||Yes||Yes||Yes||
||Rename on export||Yes||Yes||Yes||Yes||No||
||Macros can generate modules||No||No||Unclear||Yes||Unspecified restrictions||
||Support for `co-export`||No||No||Yes||Yes||No||
||Implicit exports||Automatic||Automatic||Allowed||Allowed||Required||
||Import into REPL||No||Yes||Yes||Yes||Yes||
||Syntactic Tower||Yes||No||No||No||No||

time

2010-10-24 15:26:44