This is the mail archive of the
guile@sourceware.cygnus.com
mailing list for the Guile project.
Re: New module system wishlist
- To: Mikael Djurfeldt <djurfeldt at nada dot kth dot se>
- Subject: Re: New module system wishlist
- From: Mikael Djurfeldt <mdj at mdj dot nada dot kth dot se>
- Date: 23 Jan 2000 13:27:54 +0100
- Cc: guile at sourceware dot cygnus dot com
- Cc: djurfeldt at nada dot kth dot se
- References: <E12AixQ-00062S-00@mdj.nada.kth.se>
As a result of discussing with Shriram, here are some further points
to consider (after we have figured out exactly what they mean :).
* issues of types and abstraction hiding (existential and
translucent types, representation independence)
* first-classness
* circular dependencies
* module state
* dynamic linking
* recompilation
Here are some papers to look at:
* papers explaining the evolution of ML's module system
(MacQueen, Harper, Plotkin, Mitchell, Lillibridge, Leroy)
* Flatt's thesis
* Dybvig and Waddell
* Glew and Morrissett
* Scheme 48's spec
* Szyperski's book
* the MESA language documentation
* Lieberherr's papers on "adaptive components"
* Batory's papers on "mixin layers"